guix-devel
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] gnu: Add ircii.

From: Leo Famulari
Subject: Re: [PATCH] gnu: Add ircii.
Date: Fri, 5 Aug 2016 15:11:01 -0400
User-agent: Mutt/1.6.0 (2016-04-01) 
On Fri, Aug 05, 2016 at 06:27:17PM +0000, ng0 wrote:
> Leo Famulari <address@hidden> 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!
reply via email to
[Prev in Thread] Current Thread [Next in Thread]