Closed NicolasT closed 10 years ago
A quick glance tells me this looks good to. I suppose there were no conflicts in the cherry pick?
Indeed, this change is equal to the changes in #394. Compilation succeeded, and a manual test of the functionality succeeded (as before).
ok, ship it :+1:
Cherry-pick to 1.7.
Closes #394