jenkins-bot has submitted this change and it was merged. Change subject: Update ProofreadPage to master ......................................................................
Update ProofreadPage to master Change-Id: Id59ddba0ab662444eaf26ec7da64dc9886e8b709 --- 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 7f886e8..3b55cd8 160000 --- a/extensions/ProofreadPage +++ b/extensions/ProofreadPage -Subproject commit 7f886e8d6d95e7a4eafed665c901c805d623b18d +Subproject commit 3b55cd8fcd43423f35e8b3bcb7f99141fe4442e4 -- To view, visit https://gerrit.wikimedia.org/r/100408 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id59ddba0ab662444eaf26ec7da64dc9886e8b709 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