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/?p=gsu.git;a=commitdiff_plain;h=refs%2Fheads%2Fpu;hp=a01a83cf25a17a187e5c669be4b1bd766739912c

Merge topic branch t/gui into pu

Started on 2023-08-22

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

Reading git-diff-tree failed