Closed jan-warchol closed 11 years ago
I incorporated your changes locally, but also modified them, so there basically are 'different' commits, and I can't merge the pull request.
Ok, that's what i expected - these commits were just quite rough drafts.
So that means you can reset your branch to 'my' master. Or better delete that fork completely and use the original repo when necessary.
Hi,
i've noticed that the paper was updated, so i've read it and made some modifications, mostly for the brevity's sake.