2 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	8b6ee7075c	Fix #1956 with workaround	2024-07-22 17:24:30 +02:00
Pieter Vander Vennet	ed9e59109e	Various style tweaks	2024-07-11 19:01:32 +02:00