[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Empty line after an environment & bug#35284: 12.1.1; new verbatim en
|
From: |
Ikumi Keita |
|
Subject: |
Re: Empty line after an environment & bug#35284: 12.1.1; new verbatim environment wrongly commented out |
|
Date: |
Thu, 26 Dec 2019 00:14:59 +0900 |
>>>>> Denis Bitouzé <address@hidden> 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