Merge "CommentStore: Try to improve description of insert()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 5 Sep 2017 19:56:16 +0000 (19:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 5 Sep 2017 19:56:16 +0000 (19:56 +0000)
commitf884d157f776afece12e0d986a8cd78574ed5335
treea1fb2b7de246c9f2ce806d2065211e843afcd7c9
parentdce172b59758ba49b82b53e6604a6a87e24c5334
parentf3312cdc616cd70b1fc32c4bc8bd1714d551f252
Merge "CommentStore: Try to improve description of insert()"