Merge branch 'release'

* release:
  gui: Don't use newfangled ES6 features (fixes #5348)
This commit is contained in:
Jakob Borg
2018-12-05 12:24:36 +01:00

Diff Content Not Available