Commit 1358d157d0bd83be1dfe356a69213df9fac0b539
2021-04-21T13:23:27
Fix use-after-free with `xmllint --html --push` Call htmlCtxtUseOptions to make sure that names aren't stored in dictionaries. Note that this issue only affects xmllint using the HTML push parser. Fixes #230.