previous/3495024-make-top-bar/2024-12-20

Branch force pushed by saschaeggi at 2024-12-20T09:34:48+00:00, 3495024-make-top-bar moved from this tag to 11025edac7d5572440c9795181456a4dde0c38fa