IIUC, this MR does papering over a SBCL bug that was since solved, in a way that adds complexity but isn't 100% robust. I'd vote for rejecting it entirely.

—♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• http://fare.tunes.org The difference between a programmer and a user, is that the programmer knows there is no difference between using and programming. — Faré

On Wed, Aug 2, 2017 at 5:56 PM, Robert Goldman rpgoldman@sift.net wrote:

[I think I'm not using gitlab effectively, because your commits and some merge requests aren't getting pushed at me...]

I didn't participate in this discussion, and reading over it, I don't really understand what this MR is trying to accomplish. Can you sum it up? Should we merge it before this release?

thanks, r