2018-01-24 15:49+0100, Christian Borntraeger: > Paolo, Radim, > > one last fix for 4.15. (if it is too late for 4.15 I can send it > for the next merge window together with the other pending patches, let > me know). It is a small fix, so no problem for 4.15. Pulled, thanks.