thanks for the patch.
it is applied to git together with some related osx fixes.

best,
gabor

Reply via email to