On 13/04/2017 15:21, Fam Zheng wrote: > Paolo, maybe you want to submit a formal patch for 2.10? (Sorry for the > confusion, these series of mine went a bit messy.)
Yes, will do. Or just submit the alternative fix that is mentioned in the comment. Paolo
