[GitHub] jena issue #491: merge of IndexErrorOption

[xristy]

Github user xristy commented on the issue:

    https://github.com/apache/jena/pull/491
  
    I think I see why I was getting unmerged commits. I was needed to do a 
commit after the ``merge --squash``


---