From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sun, 15 Oct 2023 19:44:49 +0000 (+0200)
Subject: Merge topic branch t/gui into pu
X-Git-Url: http://git.tuebingen.mpg.de/?a=commitdiff_plain;h=refs%2Fheads%2Fpu;hp=-c;p=gsu.git

Merge topic branch t/gui into pu

Started on 2023-08-22

* refs/heads/t/gui:
  gui: Remember menu position.
---

d962967ee2cfc19e927a98a9eab7b49476938682