My patch seems to work well. We've been running a patched SBCL on a dozen of servers since I reported the bug.
My patch seems to work well. We've been running a patched SBCL on a dozen of servers since I reported the bug.