Subject: Re: bug#78586: TeX-make-inline

From: "Paul D. Nelson" <[email-masked]>
Date: Mon, 09 Jun 2025 21:01:59 +0200

Thanks Ikumi, I pushed the change and hope this message closes it!

Paul