[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
Re: Empty line after an environment & bug#35284: 12.1.1; new verbatim environment wrongly commented out
Thu, 2 Jan 2020 19:07:07 +0900
OK, I'll do after my new year vacation finishes.
---- Arash Esbati <address@hidden> wrote
> Hi Keita,
> Ikumi Keita <address@hidden> writes:
> > 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.
> many thanks for fixing this issue. Can you please also add an entry to
> changes.texi? This is a user visible change and we should mention it.
> TIA. Best, Arash