Fix a couple of minor things found by Goland#3094
Merged
fguillot merged 16 commits intominiflux:mainfrom jvoisin:intellijsJan 24, 2025
+28-31
Commits
Commits on Jan 23, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
