Commit ba1537374bfb6d89b02b6aaa6fd12ab25cd787b1

Nick Wellnhofer 2025-01-31T22:51:59

html: Fix corner case when push-parsing HTML5 comments