bors d3b7e94d0a Auto merge of #13460 - emilio:scip-cleanups, r=Veykril
scip: minor clean-ups

Avoids a couple redundant hash map lookups and so.
2022-10-22 13:46:23 +00:00
..
2022-09-26 18:35:06 +01:00
2022-10-22 15:15:10 +02:00
2022-10-15 12:52:34 +03:00
2022-10-15 12:55:56 +03:00
2022-10-15 12:55:56 +03:00
2022-10-19 21:17:11 +02:00
2022-10-15 12:53:26 +03:00
2022-10-15 13:03:39 +03:00