jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/373728 )
Change subject: remove duplicate key in RWStore props ...................................................................... remove duplicate key in RWStore props Change-Id: I4f5a581a497f846e2addb492dcafb5a19e0ef83e --- M dist/src/script/RWStore.properties 1 file changed, 0 insertions(+), 2 deletions(-) Approvals: Smalyshev: Verified; Looks good to me, approved Lucas Werkmeister (WMDE): Looks good to me, but someone else must approve jenkins-bot: Verified diff --git a/dist/src/script/RWStore.properties b/dist/src/script/RWStore.properties index 2a44870..c76cde1 100644 --- a/dist/src/script/RWStore.properties +++ b/dist/src/script/RWStore.properties @@ -2,8 +2,6 @@ com.bigdata.journal.AbstractJournal.file=wikidata.jnl com.bigdata.journal.AbstractJournal.bufferMode=DiskRW com.bigdata.service.AbstractTransactionService.minReleaseAge=1 -com.bigdata.btree.writeRetentionQueue.capacity=4000 -com.bigdata.btree.BTree.branchingFactor=128 com.bigdata.rdf.store.AbstractTripleStore.quads=false com.bigdata.rdf.store.AbstractTripleStore.statementIdentifiers=false -- To view, visit https://gerrit.wikimedia.org/r/373728 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I4f5a581a497f846e2addb492dcafb5a19e0ef83e Gerrit-PatchSet: 1 Gerrit-Project: wikidata/query/rdf Gerrit-Branch: master Gerrit-Owner: Yurik <yuriastrak...@gmail.com> Gerrit-Reviewer: Lucas Werkmeister (WMDE) <lucas.werkmeis...@wikimedia.de> Gerrit-Reviewer: Smalyshev <smalys...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
