Subject: Re: [email-masked] fails to build
From: Ricardo Wurmus <[email-masked]>
To: Sharlatan Hellseher <[email-masked]>
Cc: [email-masked]
Date: Thu, 06 Feb 2025 12:32:29 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

I pushed my changes to the master branch, because imp built fine with them.

-- 
Ricardo