Your message dated Sat, 25 Jun 2022 16:45:42 +0000
with message-id <87o7ygr8rl.fsf@kitej>
and subject line Re: [bug#56151] [PATCH]: gnu: ppp: Fix cross-compilation
has caused the debbugs.gnu.org bug report #56151,
regarding [PATCH]: gnu: ppp: Fix cross-compilation
to be marked as done.

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


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