Github user ajs6f commented on the issue:
https://github.com/apache/jena/pull/329
Ah, I think I figured it out-- for future reference, this seems to happen
when you merge a branch into `master` and push it, but the branch on Github
isn't up to date with the local repo. Okay, I should be able to stop annoying
people with this.---
