Skip to content

misc nitpicks, see commits for details

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

Merge request reports