Hi Jerry and Steve,

Yes Ok for trunk.

Thanks for the heads-up and the review, committed as r11-7742.

Best regards

        Thomas

Reply via email to