Subject: Re: bug#2807: Subject: 23.0.90; etags can't access .el.gz files
From: Stefan Monnier <[email-masked]>
To: Mauro Aranda <[email-masked]>
Cc: [email-masked], [email-masked], [email-masked], [email-masked], [email-masked], Lars Ingebrigtsen <[email-masked]>, Eli Zaretskii <[email-masked]>
Date: Sun, 15 Oct 2023 00:12:46 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

> That's good to know, thank you.  And I agree that the feature would be
> good to have, but I hope that in the meantime we can go with the updated
> patch.

Yes, of course, I pushed it to `master`, thanks.
Still hoping for Someone™ to try and move that code to jka-compr :-)

        Stefan