On Fri, Aug 05, 2016 at 06:27:17PM +0000, ng0 wrote: > Leo Famulari <l...@famulari.name> writes: > > So the package is ready to merge? > > From my perspective yes. We have to add a smaller socks server/library > than ghc-socks, when that is done I can add --with-socks. This patch > clarifies this in a comment.
Great, pushed as c744f5c0ad!
