Closed santiago26 closed 10 years ago
I'm opening this pull-request on behalf of signer who doesn't have github account.
Um, OK. Is it hard to create a github account? Or does Oleg not believe in centralized source control systems? ;-)
In any case, I will merge the pull request.
Peter
I'm opening this pull-request on behalf of signer who doesn't have github account.