I cannot reproduce this but see that the change was not included in git, so 
that is probably the reason for dropping it.
John, will you have the time to reapply?

Reply via email to