On Wed, Apr 16, 2025 at 04:13:10PM -0700, Noah Misch wrote:
> Works for me.
I have fixed the three defects you have reported with 5ee7bd944ee8,
5743d122fcf3 and 78231baaf967 for respectively the error code of
\getresults, the description of \flush[request] and the output of
--help=commands with the new sub-section for the extended protocol
versions.
There is still one pending item for the assertion failure, registered
as an open item.. I'll catch up with that soon.
--
Michael