Skip to content

Various improvements

Andrea Veri requested to merge wip/various-improvements into master

This includes some cleanups from !312 (merged) and !332 (closed)

and should be pretty uncontroversial

Merge request reports