Comment 2 for bug 1249183

Revision history for this message
Paul Khuong (pvk) wrote :

Thank you! Committed as 6574cbf (Tail call (exec) at the end of run-sbcl.sh).