I sent some bug reports to sbcl-bugs earlier this week, but nothing has showed up.  Is that list still being maintained?

Paul Dietz