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