Re: [dev] [st][patch] externalpipe()

From: Alexander Huemer <alexander.huemer_AT_xx.vu>
Date: Fri, 20 Dec 2013 22:07:34 +0100

On Fri, Dec 20, 2013 at 08:05:15PM +0000, Rob wrote:
> Anyway, glad you've found it useful, it's been pushed to the wiki with
> your modification now too.

Nice. Thanks.

Kind regards,
-Alex
Received on Fri Dec 20 2013 - 22:07:34 CET