changelog
- Fri, 20 Jun 2025 12:01:44 +0200
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Fri, 20 Jun 2025 12:01:44 +0200] rev 630
- merge
- Fri, 20 Jun 2025 12:01:08 +0200
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Fri, 20 Jun 2025 12:01:08 +0200] rev 629
- add list initializer