Matthias Krüger a530f72268
Rollup merge of #109215 - est31:sort_by_key, r=Nilstrieb
Use sort_by_key instead of sort_by

I went over the cases where sort_by is used and in these two, one can use sort_by_key instead.
2023-03-17 08:42:40 +01:00
..
2023-02-19 22:12:12 +00:00
2023-03-14 20:52:42 +01:00
2023-03-14 20:52:42 +01:00
2023-01-15 19:46:20 +00:00
2023-03-15 23:55:48 +05:30
2023-03-09 17:45:13 +00:00
2023-03-11 22:51:57 +01:00
2023-03-04 12:10:42 +03:00
2022-11-09 20:42:16 +08:00
2022-11-09 20:42:16 +08:00