Merge "rdbms: remove $opened field from Database for simplicity"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 27 Jun 2019 17:47:16 +0000 (17:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 27 Jun 2019 17:47:16 +0000 (17:47 +0000)
commit01388527f07b14b66456f0cf5970930d28f1d6a6
treecb700f705f3c16fa7202ea34ea30a6aa1f058111
parente2c202edad616b0305e3eb61059463c757988722
parent7911da9c6f3a027925139f2831dd674e3bcf35aa
Merge "rdbms: remove $opened field from Database for simplicity"