Subject: Re: bug#36560: Adding tags is not proof that anybody actually read the bug report

From: Stefan Kangas <[email-masked]>
Date: Tue, 9 Jul 2019 19:00:10 +0200

Lars Ingebrigtsen <[email-masked]> writes:

> > +   (require 'gnus-group)  ; Make sure its loaded
>
> I've now added an autoload cookie to the command so that this isn't
> necessary -- it's a command that can be used without using any other
> parts of Gnus, so I think that makes sense.

Thanks.  I've attached an updated patch without the require.

Thanks,
Stefan Kangas