Github user xristy commented on the issue:
https://github.com/apache/jena/pull/385
I'm guessing that I'm supposed to perform the pull request but when I try
to push to apache/jena master on github my github user, xristy, doesn't have
permission for apache/jena.git.
What is the proper procedure?---
