> The attached patch fixes it. (Please feel free to amend.)

Thanks, I've pushed it in your name.

Bruno


Reply via email to