Skip to content

A handful of code-tidy commits, nothing coherent

Adriaan de Groot requested to merge work/adridg/gratuitous-tidying into master

Merge request reports