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

From: Ikumi Keita <[email-masked]>
Date: Tue, 12 Sep 2023 15:05:52 +0900

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?

Regards,
Ikumi Keita
#StandWithUkraine #StopWarInUkraine