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

Previous Next

Package: auctex;

Reported by: jfbu <jfbu <at> free.fr>

Date: Mon, 15 Apr 2019 09:12:02 UTC

Severity: normal

Tags: fixed

Found in version 12.1.1

Done: Ikumi Keita <ikumi <at> ikumi.que.jp>

Bug is archived. No further changes may be made.

Full log

Message #35 received at 35284 <at> debbugs.gnu.org (full text, mbox):

From: Ikumi Keita <ikumi <at> ikumi.que.jp>
To: auctex <at> gnu.org
Cc: Denis Bitouzé <denis.bitouze <at> univ-littoral.fr>,
 35284 <at> debbugs.gnu.org, jfbu <jfbu <at> free.fr>
Subject: Re: Empty line after an environment & bug#35284: 12.1.1;
 new verbatim environment wrongly commented out
Date: Tue, 31 Dec 2019 11:50:12 +0900

Hi all,

>>>>> Ikumi Keita <ikumi <at> ikumi.que.jp> writes:
>>> 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.

Though I haven't heard from Jean yet, I committed the fix to the git
repo with regression test.  Please let me know if it causes any bad
side effect.

Regards,
Ikumi Keita
This bug report was last modified 5 years and 215 days ago.

Previous Next

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