Am 16.01.25 um 01:50 schrieb Jerry D:

Yes I think this is OK, a definite improvement.

Committed as r15-6967.

Thanks for the review!

Best regards

        Thomas

Reply via email to