26 Nov
2015
26 Nov
'15
7:09 p.m.
On Tue, Nov 24, 2015 at 9:34 PM, Gábor Melis <mega@retes.hu> wrote:
Seems to work fine.
One thing that didn't work is that we need to always redirection *STANDARD-INPUT* since *GLOBALLY-REDIRECT-IO* doesn't affect that. Pushed an improved fix. Cheers, -- Luís Oliveira http://kerno.org/~luis/