Merge branch 'release' into main

* release:
  gui: Remove erronous $ from scope in directive (fixes #7124) (#7125)
This commit is contained in:
Jakob Borg
2020-11-18 14:27:00 +01:00

Diff Content Not Available