Github user larsgsvensson commented on the issue:
https://github.com/apache/any23/pull/116
@HansBrende scripsit:
> Thanks for the pull request! It looks like some of your commits reverse
recent changes made to the master branch. You might want to just start over
with a clean pull from master.
Hmm, funny. I rebased just before creating the PR...
As I'm still somewhat of a GitHub newbie: Does that mean that I should
delete the branch (and then what happens to this PR)?---
