Use <nav> instead of <div> in the global navbar (#23125)#23533
Merged
techknowlogick merged 1 commit intogo-gitea:release/v1.19from GiteaBot:backport-23125-v1.19Mar 17, 2023
+6-6
<nav> instead of <div> in the global navbar (#23125)#23533
