Harald Kuhr 101ad18f71 Minor optimizations.
(cherry picked from commit 2b04f7205ccec9f43c9c58e9471709f9f620f5b6)
2022-08-19 17:39:22 +02:00
..
2022-08-19 17:39:22 +02:00