Your message dated Sat, 5 Dec 2020 12:56:56 -0500 with message-id and subject line Re: [PATCH v4] gnu: Add diff-so-fancy. has caused the debbugs.gnu.org bug report #44821, regarding [PATCH] gnu: Add diff-so-fancy. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 44821: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=44821 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems