Johannes Marbach 3f20675b93 Limit width of user menu in space panel (#11192) ... Fixes: vector-im/element-web#22627		2023-07-05 22:00:03 +00:00
..
structures	Limit width of user menu in space panel (#11192)	2023-07-05 22:00:03 +00:00
views	Conform more of the codebase to strict types (#11191)	2023-07-05 11:53:22 +01:00