Skip to content

[th/various-settings-cleanup-3]

Thomas Haller requested to merge th/various-settings-cleanup-3 into master

another preparation patch for rework of settings.

Various changes, mostly minor and possibly uncontroversial.

Merge request reports