Subject: Re: bug#76322: Make ctags a thin wrapper around etags
From: Paul Eggert <[email-masked]>
To: Eli Zaretskii <[email-masked]>
Cc: [email-masked], [email-masked], [email-masked]
Date: Sat, 22 Mar 2025 11:59:18 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

On 2025-03-12 05:15, Eli Zaretskii wrote:
> OK, let's wait with installing the patch until this discussion reaches
> its conclusion, perhaps after more people chime in.

Seems like a long enough wait, so I installed the patch on master and am 
closing the bug report. Thanks for the review.