Merge pull request #13508 from xundeenergie/move-mentionbutton-to-navbar
authorHypolite Petovan <hypolite@mrpetovan.com>
Sat, 7 Oct 2023 17:28:43 +0000 (13:28 -0400)
committerGitHub <noreply@github.com>
Sat, 7 Oct 2023 17:28:43 +0000 (13:28 -0400)
[frio] move mention-button to navbar


Trivial merge