Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Spec section: Avoid dupe titles; treat anchors as optional (#3746)
* Spec section: Avoid dupe titles; treat anchors as optional * review on #3746 Co-authored-by: Peter Bengtsson <mail@peterbe.com>
- Loading branch information