Subject: bug#35284: Empty line after an environment & bug#35284: 12.1.1; new verbatim environment wrongly commented out

From: Ikumi Keita <[email-masked]>
Date: Thu, 26 Dec 2019 00:14:59 +0900

>>>>> Denis Bitouzé <[email-masked]> writes:
> I wasn't aware of the Jean-François's bug report. Sorry for the
> duplicate.

No problem :-).

>> Denis and Jean, could you please check it works on your side well? (To
>> Jean: revert my premature patch[3] befor trying it out)

> It works nicely, many thanks!

Thank you for confirmation.  I'll wait for Jean's response.

Regards,
Ikumi Keita