Your message dated Tue, 20 Oct 2020 16:35:33 +0200 with message-id <878sc1dky2.fsf@gnu.org> and subject line Re: bug#43890: ‘package-input-rewriting/spec’ can introduce unnecessary variants has caused the debbugs.gnu.org bug report #43890, regarding ‘package-input-rewriting/spec’ can introduce unnecessary variants to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 43890: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=43890 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems