Skip to content

Various nits

Vladimír Čunát requested to merge nits into master

See the individual commits.

Merge request reports