[GitHub] jena pull request #491: merge of IndexErrorOption
Github user asfgit closed the pull request at: https://github.com/apache/jena/pull/491 ---
[GitHub] jena pull request #491: merge of IndexErrorOption
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