devel #181

Merged
inhji merged 3 commits from devel into main 2023-07-07 07:26:32 +02:00

3 commits

Author SHA1 Message Date
0f85aeeb3f Merge branch 'main' into devel 2023-07-07 07:26:25 +02:00
f10bb8cafb Merge remote-tracking branch 'origin/devel' into devel 2023-07-07 07:26:08 +02:00
6d100059d6 fix note header class 2023-07-07 07:25:58 +02:00