Subject: Re: bug#65648: 13.2; indentation of nested environments

From: Ikumi Keita <[email-masked]>
Date: Thu, 14 Sep 2023 14:34:16 +0900

>>>>> Ikumi Keita <[email-masked]> writes:
> Hi Paul and all,
>>>>> Paul Nelson <[email-masked]> writes:
>> Looks good to me (I prefer it over my original suggestion).  Thanks!

> Thanks. If there's no objection, I'll polish my proposal and install it.
> Any comments?

Done. I'll close this bug.

Regards,
Ikumi Keita
#StandWithUkraine #StopWarInUkraine