Github user asfgit closed the pull request at:
https://github.com/apache/jena/pull/448
---
Github user afs commented on a diff in the pull request:
https://github.com/apache/jena/pull/448#discussion_r202386269
--- Diff: jena-tdb/src/main/java/org/apache/jena/tdb/TDBLoader.java ---
@@ -219,11 +211,14 @@ public final void setGenerateStats(boolean
generateStats)
Github user ajs6f commented on a diff in the pull request:
https://github.com/apache/jena/pull/448#discussion_r202350272
--- Diff: jena-tdb/src/main/java/org/apache/jena/tdb/TDBLoader.java ---
@@ -219,11 +211,14 @@ public final void setGenerateStats(boolean
generateStats)
GitHub user afs opened a pull request:
https://github.com/apache/jena/pull/448
JENA-1575: tdbloader - unnecessarily specific class cast.
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/afs/jena tdbloader-ng
Alternatively you can