Commit Graph
4 Commits
Author SHA1 Message Date
John MacFarlane e611edb7d8 HTML reader: avoid duplicate id on header and div.
Closes #8991.
2023-08-09 11:36:32 -07:00
John MacFarlane e3fd2d5a03 Revert "HTML reader: avoid duplicating any existing identifier..."
This reverts commit e5fbddd3b6.
2022-10-18 12:51:34 -07:00
John MacFarlane e5fbddd3b6 HTML reader: avoid duplicating any existing identifier...
with `auto_identifiers`.

Closes #8383.
2022-10-18 09:51:33 -07:00
John MacFarlane 03c6025379 Add command test for #7884. 2022-02-09 12:31:18 -08:00