Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Meta: remove an unnecessary id with %
This id was introduced in b29fb58. It repeats the id of the heading above but with `(` and `)` percent-escaped. This is not done for any other ids that also contain those characters.
- Loading branch information