GNU bug report logs - #35284
12.1.1; new verbatim environment wrongly commented out

Previous Next

Full log

View this message in rfc822 format

From: Ikumi Keita <ikumi <at> ikumi.que.jp>
To: Denis Bitouzé <denis.bitouze <at> univ-littoral.fr>
Cc: auctex <at> gnu.org, 35284 <at> debbugs.gnu.org, jfbu <jfbu <at> free.fr>
Subject: bug#35284: 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é <denis.bitouze <at> univ-littoral.fr> 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.