Skip to content

Minor fixes pointed out by static analysis#995

Merged
samuel40791765 merged 1 commit intoaws:mainfrom samuel40791765:scrutinice-fixMay 10, 2023
+4-2

Commits

Commits on May 9, 2023