> Looks like reasonable behavior to me.  Actual comments on the patch:

Thanks for the feedback, I appreciate all hints.
And thanks for pushing the fix into the repository.

benjamin

Reply via email to