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-10-19 07:13:36 +13:00
2022-03-13 11:30:27 -07:00