Skip to content

various nitpicks

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

See the individual commits.

Merge request reports