I sent a make bug to the wrong repository

[Dan Jacobson]

<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.