Thu, 11 Jun 2026 20:27:11 +0200 Olaf Wintermann make sure menus are initialized when a new window is opened changeset | files
(0) -1000 -300 -100 -30 -10 -1 +1 +10 tip

mercurial