Merge "HistoryBlobCurStub: correct setting name in doc comment"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 2 Nov 2013 13:59:56 +0000 (13:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 2 Nov 2013 13:59:56 +0000 (13:59 +0000)
commitcba23cc37e55caded76d2a4c6b6125db4f92e63e
treed2d11c5aa814969d8a843bbb6677abcbc4540fe5
parenteaabaeb860652c9feac76fd3a62e1bcf60edd44f
parentd3fa5a3716e8b6d2224f43fe6f0350daa08a5b13
Merge "HistoryBlobCurStub: correct setting name in doc comment"