fix logging #107

Merged
inhji merged 2 commits from devel into main 2023-06-09 23:20:00 +02:00

2 commits

Author SHA1 Message Date
a955bae100 Merge branch 'main' into devel 2023-06-09 23:19:51 +02:00
a63d6385c2 fix logging 2023-06-09 23:19:10 +02:00