You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@jena.apache.org by an...@apache.org on 2018/08/07 12:02:26 UTC
[14/16] jena git commit: JENA-1587: Merge commit 'refs/pull/457/head'
of https://github.com/apache/jena
JENA-1587: Merge commit 'refs/pull/457/head' of https://github.com/apache/jena
This closes #457.
Project: http://git-wip-us.apache.org/repos/asf/jena/repo
Commit: http://git-wip-us.apache.org/repos/asf/jena/commit/02086d25
Tree: http://git-wip-us.apache.org/repos/asf/jena/tree/02086d25
Diff: http://git-wip-us.apache.org/repos/asf/jena/diff/02086d25
Branch: refs/heads/master
Commit: 02086d25c01d1ca34427c05bf5322a2273e7840e
Parents: 17631de c82737b
Author: Andy Seaborne <an...@apache.org>
Authored: Tue Aug 7 12:55:06 2018 +0100
Committer: Andy Seaborne <an...@apache.org>
Committed: Tue Aug 7 12:55:06 2018 +0100
----------------------------------------------------------------------
jena-db/jena-tdb2/pom.xml | 15 ++++++++++++++-
1 file changed, 14 insertions(+), 1 deletion(-)
----------------------------------------------------------------------