Merge branch 'release'

* release:
  gui: Avoid code generating HTML (#8923)
  gui: Remove HTML support in tooltips
This commit is contained in:
Jakob Borg 2023-06-06 09:09:30 +02:00
commit 5cab08a36a

Diff Content Not Available