Skip to content

various nitpicks, see commits for details

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

Merge request reports