Your message dated Wed, 19 Mar 2025 10:18:08 -0400
with message-id <CA+3U0ZmhzcSMJkm8KuysE7Z5CEP5DZaG_6RKsuMhUAV+7w9Chw@mail.gmail.com>
and subject line Re: [bug#77066] [PATCH 1/3] gnu: boost-for-source-highlight: Update source URI
has caused the debbugs.gnu.org bug report #77066,
regarding [PATCH 0/3] Update boost variant URIs to be consistent and valid
to be marked as done.

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


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