Lars Mueller 567f85752d Fix broken unit test ...

Also makes devtest unit test results a bit more prominent

2024-05-21 16:31:05 +02:00

..

devtest

Fix broken unit test

2024-05-21 16:31:05 +02:00