Hofer-Julian 41306aa7e0
Reduce again the number of match calls (#7815)
- Reduce the number of match calls (see commit messages)
- A few miscellaneous improvements
2023-01-24 12:23:42 +01:00
..
2022-04-20 08:50:14 -05:00
2023-01-23 12:57:40 -06:00