Your message dated Sun, 17 Oct 2021 02:18:22 +0200
with message-id <87zgr8cxm9.fsf@localhost>
and subject line Fixed by update
has caused the debbugs.gnu.org bug report #46083,
regarding [PATCH] gnu: ghc-8.8: Update to 8.8.4.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
46083: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=46083
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems