changelog
- Sun, 27 Apr 2025 16:13:28 +0200
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Sun, 27 Apr 2025 16:13:28 +0200] rev 586
- merge
- Fri, 25 Apr 2025 22:09:10 +0200
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Fri, 25 Apr 2025 22:09:10 +0200] rev 585
- fix wrong value interpretation for UI_INTEGER