Your message dated Fri, 22 Jun 2018 17:59:26 +0200 with message-id and subject line gnu: boost: Update to 1.66.0. has caused the debbugs.gnu.org bug report #30441, regarding [PATCH] gnu: boost: Update to 1.66.0. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 30441: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=30441 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems