Uwe Risse a916045d40 Some minor code optimizations.
(cherry picked from commit 1f6fe675163c981eeb3a00e59bb2a177e8bf52dd)
2024-05-04 15:57:31 +02:00
..
2023-12-20 15:37:11 +01:00
2019-06-06 12:56:25 +01:00
2020-06-13 16:04:41 +01:00
2019-06-06 12:56:25 +01:00
2020-05-07 02:56:57 +01:00
2020-07-29 18:44:34 +01:00
2020-07-29 18:44:34 +01:00
2024-05-04 15:57:31 +02:00
2019-06-06 12:56:25 +01:00
2019-06-06 12:56:25 +01:00
2021-02-09 10:46:56 +00:00