jenkins-bot has submitted this change and it was merged. Change subject: Update ProofreadPage to master ......................................................................
Update ProofreadPage to master Change-Id: Iac8f802e7bb8d2f606b718dbab39ae78e8a6f218 --- M extensions/ProofreadPage 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Hashar: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/ProofreadPage b/extensions/ProofreadPage index 6018f0f..7f886e8 160000 --- a/extensions/ProofreadPage +++ b/extensions/ProofreadPage -Subproject commit 6018f0fd38728b0bd4df7af82c30e2702bf021d5 +Subproject commit 7f886e8d6d95e7a4eafed665c901c805d623b18d -- To view, visit https://gerrit.wikimedia.org/r/99627 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iac8f802e7bb8d2f606b718dbab39ae78e8a6f218 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.23wmf6 Gerrit-Owner: Tpt <thoma...@hotmail.fr> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits