Claire 0495302f1c Fix local settings navigation (#1836) ... The “filters” page was removed, but not from the navigation, which would offset everything.		2022-08-30 10:57:27 +02:00
..
glitch	Fix local settings navigation (#1836)	2022-08-30 10:57:27 +02:00
vanilla	Fix missing javascript in some admin pages	2022-02-12 00:10:28 +01:00