Skip to content

misc nitpicks

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

See individual commits.

Merge request reports