Subject: Re: bug#47408: Etags support for Mercury [v0.5]
From: Eli Zaretskii <[email-masked]>
To: fabrice nicol <[email-masked]>
Cc: [email-masked]
Date: Sun, 06 Jun 2021 12:48:48 +0300
List-Id: <debbugs-submit.debbugs.gnu.org>

> From: fabrice nicol <[email-masked]>
> Cc: [email-masked]
> Date: Tue, 1 Jun 2021 04:38:56 +0200
> 
> Mercury-specific declarations will be tagged by default.

Thanks, I installed the changes.

I see that there's no Mercury support for ctags (the 'ctags' output of
the test suite remained without change) -- is that intentional?