Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix(navigation): Links to “Comments” again link directly to the comme…
…nts section In an earlier redesign of the comments, a separate element with id=“comments” was removed. This applies the id to the containing DIV element Fixes #8227
- Loading branch information