> Paulo, Gleb, > > Can you please queue this as a fix for 3.14? > > It fixes an issue that has been introduced during the merge window, > and it would be good to have it plugged quickly. Ok, I plan to send a pull request on Friday (it should make it in -rc5). Paolo