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

[Alexander Huemer]

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