Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Stale note from #7419 about HTMLTOOLS 0.5.7
HTMLTOOLS 0.5.7 was released and updated in 6cfe4a1 but somehow a bad merge was still in the code.
- Loading branch information