[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#27461] [PATCH] gnu: Add z3.
From: |
Ludovic Courtès |
Subject: |
[bug#27461] [PATCH] gnu: Add z3. |
Date: |
Thu, 20 Jul 2017 11:22:43 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.2 (gnu/linux) |
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’.
- [bug#27461] [PATCH] gnu: Add z3.,
Ludovic Courtès <=