| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-10-18 | Revert "HTML reader: avoid duplicating any existing identifier..." | John MacFarlane |
| 2022-10-18 | HTML reader: avoid duplicating any existing identifier... | John MacFarlane |
| 2022-02-09 | Add command test for #7884. | John MacFarlane |
