Skip to content

minor fixes

Vladimír Čunát requested to merge minor-fixes into master

(see commits)

Merge request reports