[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnu: gzochi: Update to 0.10.
|
From: |
Andreas Enge |
|
Subject: |
Re: [PATCH] gnu: gzochi: Update to 0.10. |
|
Date: |
Sun, 21 Aug 2016 18:21:12 +0200 |
|
User-agent: |
Mutt/1.6.1 (2016-04-27) |
Hello,
thanks for your contribution!
On Sun, Aug 21, 2016 at 11:20:54AM -0400, Julian Graham wrote:
> - ("gmp" ,gmp)
Could you comment on this? Is it not needed any more? Or does dropping it
removes an optional feature?
Andreas
Re: [PATCH] gnu: gzochi: Update to 0.10., Mark H Weaver, 2016/08/22