Re: [dev] [sic] [PATCH] Remove .hgtags

Fri, 14 Nov 2014 07:06:51 -0800 

Hi Dimitris,

On 12 November 2014 17:20, Dimitris Papastamos <[email protected]> wrote:
>

All 3 patches applied, thanks.

BR,
Anselm

Reply via email to