Subject: bug#9622: [PATCH] Re: bug#9622: 23.3; flet indentation

From: Lars Ingebrigtsen <[email-masked]>
Date: Mon, 08 Nov 2021 07:38:29 +0100

akater <[email-masked]> writes:

> Indeed, I forgot one save-excursion.

Thanks; this fixes Michael's test case here, too, so I've now pushed it
to the trunk.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no