Your message dated Mon, 02 Jan 2023 15:00:34 +0000 with message-id <878rilrnej.fsf@kitej> and subject line Re: [bug#60491] [PATCH]: Add sbcl-history-tree has caused the debbugs.gnu.org bug report #60491, regarding [PATCH]: Add sbcl-history-tree to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 60491: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=60491 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems