Merge "WikiRevision: Preserve lowercase of external actors"
commitdd98b5e24d1734af71781d139935618e5b927777
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 23 Sep 2023 18:48:01 +0000 (23 18:48 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 23 Sep 2023 18:48:01 +0000 (23 18:48 +0000)
treeb76077e5999dadc4c2a3db5df3942519e7977bd4
parent58d17ea3e31d5c4ba68795229190add4eef4fd2f
parent7ca0b3a2099a0a0dd2028b1811a42183363de88a
Merge "WikiRevision: Preserve lowercase of external actors"