Re: Empty line after an environment & bug#35284: 12.1.1; new verbatim environment wrongly commented out

[Ikumi Keita]

>>>>> Ikumi Keita <ikumike...@jcom.home.ne.jp> writes:
> Hi Arash,
> OK, I'll do after my new year vacation finishes.

Done.

Best,
Ikumi Keita