Merge branch 'release' into main

* release:
  lib/config: Repair versioning XML serialization (fixes #6859, ref #6693)
This commit is contained in:
Jakob Borg 2020-07-28 12:09:48 +02:00
commit 26b188dc0e

Diff Content Not Available