Subject: Re: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0.

From: Andreas Enge <[email-masked]>
Date: Wed, 15 May 2024 12:12:37 +0200

Hello,

I have just pushed a gexpified version of your chuffed patch. Thanks!

Andreas