Lars Eggert 3e2b1fc92e feat: Add a bug report link to the menu bar (#4525) ... This required making some horizontal room for it, mostly by showing a user photo or shorter tag when they are logged in.		2022-09-30 09:20:43 -05:00
..
icons.html	chore: Use URL resolver in more places (#4104)	2022-06-22 14:10:16 -05:00
menu.html	feat: Add a bug report link to the menu bar (#4525)	2022-09-30 09:20:43 -05:00
menu_active_groups.html	Hopefully the final check-ins.	2022-02-08 17:29:15 +00:00
menu_user.html	feat: Add a bug report link to the menu bar (#4525)	2022-09-30 09:20:43 -05:00
menu_wg.html	Hopefully the final check-ins.	2022-02-08 17:29:15 +00:00