Re: I sent a make bug to the wrong repository

Collin Funk <[email protected]> Thu, 23 Apr 2026 21:07:30 -0700

Newsgroups	gmane.comp.gnu.make.bugs
Message-ID	<[email protected]>

Dan Jacobson <[email protected]> writes:

> <https://debbugs.gnu.org/cgi/bugreport.cgi?bug=80876>
>
> Maybe somebody could take care of it for me. 
>
> The system shouldn't have let me create it. 

No worries, I marked that as "not a bug".

I guess it was because you sent it to bug-coreutils initially and then
moved it. Debbugs should probably prevent that from happening, but I
guess it doesn't. Not big deal regardless.

Collin