[stable27] enh: Add unique DOM identifiers for nav entries#2132
Merged
[stable27] enh: Add unique DOM identifiers for nav entries#2132
Commits
Commits on Nov 15, 2023
- authored andcommitted