Committed, with that nitch, r276972.

OK with a minor nit. — Thanks for the patch.

Thanks a lot for the review!

Regards

        Thomas

Reply via email to