[GitHub] jena pull request #491: merge of IndexErrorOption

2018-11-20 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/jena/pull/491 ---

[GitHub] jena pull request #491: merge of IndexErrorOption

2018-11-16 Thread xristy
GitHub user xristy opened a pull request: https://github.com/apache/jena/pull/491 merge of IndexErrorOption PR for JENA #1636 You can merge this pull request into a Git repository by running: $ git pull https://github.com/BuddhistDigitalResourceCenter/jena JENA-1636-IgnoreInde