Open GoogleCodeExporter opened 9 years ago
Gail: This should be better now, but in any case we'll look into it as part of
Milestone 2.
Original comment by alex.rep...@gmail.com
on 9 Dec 2009 at 11:14
Original comment by palter@clozure.com
on 13 Jan 2010 at 3:06
Original issue reported on code.google.com by
alex.rep...@gmail.com
on 9 Dec 2009 at 11:13