DR 13631 patch

[Paolo Carlini]

By the way...

> The patch works but as Sam noticed last time we work on this issue even my patch do break ABI. I have plan to push it to the ABI breaking changes branch.

Ok, I see, let me double check that duscussion.

In any case, if you mean a patch for a specific branch != mainline, just say it by adding the name of the branch between square brackets to the subject, otherwise people (like me ;) can easily get confused.

Paolo