[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnu: Add di.
From: |
John J Foerch |
Subject: |
Re: [PATCH] gnu: Add di. |
Date: |
Fri, 08 Jul 2016 10:06:58 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
Leo Famulari <address@hidden> writes:
> On Thu, Jul 07, 2016 at 12:30:11PM -0400, John J Foerch wrote:
>> Any remaining blocking issues on this?
>
> Pushed as 614023981!
Many thanks.
--
John Foerch
- Re: [PATCH] gnu: Add di., (continued)
- Re: [PATCH] gnu: Add di., John J Foerch, 2016/07/03
- Re: [PATCH] gnu: Add di., John J Foerch, 2016/07/03
- Re: [PATCH] gnu: Add di., Alex Kost, 2016/07/04
- Re: [PATCH] gnu: Add di., John J Foerch, 2016/07/04
- Re: [PATCH] gnu: Add di., Leo Famulari, 2016/07/04
- Re: [PATCH] gnu: Add di., John J Foerch, 2016/07/04
- Re: [PATCH] gnu: Add di., John J Foerch, 2016/07/07
- Re: [PATCH] gnu: Add di., Leo Famulari, 2016/07/07
- Re: [PATCH] gnu: Add di., Alex Kost, 2016/07/08
- Re: [PATCH] gnu: Add di., Leo Famulari, 2016/07/07
- Re: [PATCH] gnu: Add di.,
John J Foerch <=
- Re: [PATCH] gnu: Add di., Leo Famulari, 2016/07/04
- Re: [PATCH] gnu: Add di., John J Foerch, 2016/07/04