]> git.openstreetmap.org Git - rails.git/commitdiff
Merge pull request #4824 from AntonKhorev/no-user-button
authorAndy Allan <git@gravitystorm.co.uk>
Wed, 22 May 2024 09:54:32 +0000 (10:54 +0100)
committerGitHub <noreply@github.com>
Wed, 22 May 2024 09:54:32 +0000 (10:54 +0100)
Remove unnecessary user menu wrapper


Trivial merge