Commit 9efe141422f062685eb13c9742d0010de1a31ba8

Nick Wellnhofer 2025-01-31T13:07:35

parser: Fix detection of ']]>' when push-parsing Fixes #850.