Skip to content

Minor changes and corrections

m.puchner requested to merge minorChangesAndFixes into main

a few minor corrections and simplifications

Merge request reports