Branch force pushed by saschaeggi at 2024-06-23T18:11:20+00:00, 3447257-make-the-sidebar-resizable moved from this tag to e1ea0c6de7a6368646fb1eb4f5dcc0d4f5fa7108
Branch force pushed by saschaeggi at 2024-06-23T18:11:20+00:00, 3447257-make-the-sidebar-resizable moved from this tag to e1ea0c6de7a6368646fb1eb4f5dcc0d4f5fa7108