Re: [PATCH] get-deps.sh zlib version number and file type changed
From: Ben Reser <ben_at_reser.org>
Date: Tue, 30 Apr 2013 13:39:42 -0700
On Tue, Apr 30, 2013 at 12:38 PM, Daniel Shahaf <danielsh_at_elego.de> wrote:
We could indeed do that, it's come up before.
This is an archived mail posted to the Subversion Dev mailing list.