On 13-06-21 06:03 AM, Jakub Wilk wrote:
Anyway, please go ahead and commit the patch.
The patch has been submitted to the Subversion repository. Kind regards, Mike -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

