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.---