Hmmm, as I recall, that patch was introduced specifically to fix this problem. But indeed, testing with 1.11 suggests it doesn't.
I'll check if removing the patch makes HEAD's behave match 7. If so, I'll commit the change.
Hmmm, as I recall, that patch was introduced specifically to fix this problem. But indeed, testing with 1.11 suggests it doesn't.
I'll check if removing the patch makes HEAD's behave match 7. If so, I'll commit the change.