Hi Jerry,

OK for trunk?

OK. Thanks for the patch.

And: Merry Christmas to everybody!

        Thomas

Reply via email to