Github user afs commented on the issue: https://github.com/apache/jena/pull/371 Git has decided this is a rename when it is actually a delete/new file.
---
Github user afs commented on the issue: https://github.com/apache/jena/pull/371 Git has decided this is a rename when it is actually a delete/new file.
---