Merge "Remove covers validator trait where it is not needed"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 19 May 2019 07:54:41 +0000 (07:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 19 May 2019 07:54:41 +0000 (07:54 +0000)
commitf73dab514a2c7445b4ba6bfd9f4fdebfc23199ee
tree3c763f561283c67207f41b8608897f772ea7d940
parent76bb7bbe8e84a45b783488297c3add585ed59c12
parente9044fe58dc46551a6eb630ed8f9ac97a12e075b
Merge "Remove covers validator trait where it is not needed"