Subject: Re: bug#48790: [PATCH] etc: indent-code.el: Remove any existing tabs.

From: Tobias Geerinckx-Rice <[email-masked]>
Date: Sat, 12 Jun 2021 10:27:41 +0200

Ludovic Courtès 写道：
> Good idea, go for it!

Thanks Ludo'!  Pushed as 0b17dc4aaea85bf0e35184909914f81761fedf56.

Kind regards,

T G-R