Subject: Re: [email-masked] fails to build

From: Ricardo Wurmus <[email-masked]>
Date: Thu, 06 Feb 2025 12:32:29 +0100

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

-- 
Ricardo