Merge pull request #4802 from nextcloud/work/account-menu-separator
authorClaudio Cambra <claudio.cambra@gmail.com>
Mon, 8 Aug 2022 14:50:55 +0000 (16:50 +0200)
committerGitHub <noreply@github.com>
Mon, 8 Aug 2022 14:50:55 +0000 (16:50 +0200)
Eliminate padding around the menu separator in the account menu


Trivial merge