Merge branch 'release'

* release:
  gui: Close unclosed tag (fixes #5253)
This commit is contained in:
Jakob Borg 2018-10-11 07:12:49 +02:00
commit 83675e7a1d

Diff Content Not Available