GitHub user afs opened a pull request:

    https://github.com/apache/jena/pull/396

    JENA-1520: tdb2.tdbstats: cmd and fix for rdf:type

    

You can merge this pull request into a Git repository by running:

    $ git pull https://github.com/afs/jena tdb2-tdbstats

Alternatively you can review and apply these changes as the patch at:

    https://github.com/apache/jena/pull/396.patch

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #396
    
----
commit 55516f717caba7d41c4b78ca298f4c030cedcddf
Author: Andy Seaborne <andy@...>
Date:   2018-04-12T16:18:29Z

    JENA-1520: tdb2.tdbstats: cmd and fix for rdf:type

----


---

Reply via email to