[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: |
Sat, 26 Dec 2020 19:21:56 +0900 |
>>>>> Tassilo Horn <tsdh@gnu.org> writes:
>> Does anyone find difficulties with this idea? E.g., should I introduce
>> some new user option to suppress this behavior?
> I'd say, let's first try without option and maybe add one later if and
> only if someone complains.
Thanks, I installed the change with some comments added.
Bye,
Ikumi Keita