[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!
- Re: [PATCH] gnu: Add ircii., (continued)
- Re: [PATCH] gnu: Add ircii., Ricardo Wurmus, 2016/08/05
- Re: [PATCH] gnu: Add ircii., ng0, 2016/08/05
- Re: [PATCH] gnu: Add ircii., ng0, 2016/08/05
- Re: [PATCH] gnu: Add ircii., ng0, 2016/08/05
- Re: [PATCH] gnu: Add ircii., ng0, 2016/08/05
- Re: [PATCH] gnu: Add ircii., ng0, 2016/08/05
- Re: [PATCH] gnu: Add ircii., Leo Famulari, 2016/08/05
- Re: [PATCH] gnu: Add ircii., ng0, 2016/08/05
- Re: [PATCH] gnu: Add ircii., Leo Famulari, 2016/08/05
- Re: [PATCH] gnu: Add ircii., ng0, 2016/08/05
- Re: [PATCH] gnu: Add ircii.,
Leo Famulari <=
- Re: [PATCH] gnu: Add ircii., Ricardo Wurmus, 2016/08/09
- Re: [PATCH] gnu: Add ircii., Leo Famulari, 2016/08/09
- Re: [PATCH] gnu: Add ircii., ng0, 2016/08/13
Re: [PATCH] gnu: Add ircii., 宋文武, 2016/08/02