jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/390897 )
Change subject: Bump dictionary version ...................................................................... Bump dictionary version Change-Id: Ic71b6554dc1d4ba74f220565a308740640f14242 --- M dist/src/script/default.properties 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Smalyshev: Looks good to me, approved jenkins-bot: Verified diff --git a/dist/src/script/default.properties b/dist/src/script/default.properties index aedf2be..bf3a91d 100644 --- a/dist/src/script/default.properties +++ b/dist/src/script/default.properties @@ -7,7 +7,7 @@ com.bigdata.rdf.store.AbstractTripleStore.justify=false com.bigdata.rdf.sail.isolatableIndices=false com.bigdata.rdf.store.AbstractTripleStore.geoSpatial=false -com.bigdata.rdf.store.AbstractTripleStore.vocabularyClass=org.wikidata.query.rdf.blazegraph.WikibaseVocabulary$V002 +com.bigdata.rdf.store.AbstractTripleStore.vocabularyClass=org.wikidata.query.rdf.blazegraph.WikibaseVocabulary$V003 com.bigdata.rdf.store.AbstractTripleStore.inlineURIFactory=org.wikidata.query.rdf.blazegraph.WikibaseInlineUriFactory com.bigdata.rdf.store.AbstractTripleStore.extensionFactoryClass=org.wikidata.query.rdf.blazegraph.WikibaseExtensionFactory com.bigdata.btree.writeRetentionQueue.capacity=4000 -- To view, visit https://gerrit.wikimedia.org/r/390897 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic71b6554dc1d4ba74f220565a308740640f14242 Gerrit-PatchSet: 1 Gerrit-Project: wikidata/query/rdf Gerrit-Branch: master Gerrit-Owner: Smalyshev <[email protected]> Gerrit-Reviewer: Smalyshev <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
