Skip to content

Nitpicks

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

See the individual commits.

Merge request reports