On Monday, 4 March 2013 at 06:51:15 UTC, Lars T. Kyllingstad wrote:
On Sunday, 3 March 2013 at 11:00:52 UTC, Sönke Ludwig wrote:
Mini thing: Redirect.none is not documented

Ok, thanks!

I ended up simply removing it. There is no point in calling pipeProcess without any redirection at all.

Lars

Reply via email to