Subject: Re: bug#71240: Keeping track of class and packages, even w/o options
From: Arash Esbati <[email-masked]>
To: Ikumi Keita <[email-masked]>
Cc: [email-masked]
Date: Sun, 02 Jun 2024 21:58:14 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Ikumi Keita <[email-masked]> writes:

> I haven't tried it for myself, but I suppose it's a reasonable idea to
> carry out.

Thanks Keita.  I installed that change, and therefore closing this report.

Best, Arash