Subject: Re: [bug#27461] [PATCH] gnu: Add z3.

From: [email-masked] (Ludovic Courtès)
Date: Thu, 20 Jul 2017 11:22:43 +0200

Hello,

Theodoros, Julien: could one of you submit an updated patch/patch set
that incorporates what both of you did?

If there are still fine points to discuss, that can always happen at a
later stage.

Thanks,
Ludo’.