Subject: Re: [bug#70087] [PATCH 0/3] Update minizinc and solvers.

From: Ludovic Courtès <[email-masked]>
Date: Sun, 02 Jun 2024 12:17:26 +0200

Hey Herman and all,

I went ahead and pushed this revision as
0bd5e1bf9290894d2a56e217f3eed3ecc2c96103.

Thanks!

Ludo’.