|
| From: | Ikumi Keita |
| Subject: | Re: Empty line after an environment & bug#35284: 12.1.1; new verbatim environment wrongly commented out |
| Date: | Tue, 07 Jan 2020 18:21:51 +0900 |
>>>>> Ikumi Keita <address@hidden> writes: > Hi Arash, > OK, I'll do after my new year vacation finishes. Done. Best, Ikumi Keita
| [Prev in Thread] | Current Thread | [Next in Thread] |