Skip to content

nits

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

See the individual commits.

Merge request reports