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
