Hi Aaron,
On Fri, Dec 02, 2016 at 09:48:44 -0500, Aaron M. Ucko wrote:
> I have an upload mostly ready, but still have a few HTTPS-related fixes
> to take care of. I just haven't pushed anything yet in case I need to
> rework any changes first.
I just noticed that the upload would also fix #821075 which I just
commited to Git. Please git pull.
Thanks for your work on this
Andreas.
--
http://fam-tille.de