Hi Harald,

OK for trunk (and affected backports)?

Yes, OK. Thanks!

(For cases like this, it often makes sense to wait a week
or so before backporting something, to see if anything
comes up).

Regards

        Thomas

Reply via email to