[MediaWiki-commits] [Gerrit] Updating $wgVersion to 1.20.0 - change (mediawiki/core[REL1_20])
Demon has uploaded a new change for review. Change subject: Updating $wgVersion to 1.20.0 .. Updating $wgVersion to 1.20.0 Change-Id: I0dd063c211786e768c685eb21b61bba8e5fb7c45 --- M includes/DefaultSettings.php 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/25/32225/1 -- To view, visit https://gerrit.wikimedia.org/r/32225 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I0dd063c211786e768c685eb21b61bba8e5fb7c45 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: REL1_20 Gerrit-Owner: Demon ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Updating $wgVersion to 1.20.0 - change (mediawiki/core[REL1_20])
Reedy has submitted this change and it was merged. Change subject: Updating $wgVersion to 1.20.0 .. Updating $wgVersion to 1.20.0 Change-Id: I0dd063c211786e768c685eb21b61bba8e5fb7c45 --- M includes/DefaultSettings.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Reedy: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/32225 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I0dd063c211786e768c685eb21b61bba8e5fb7c45 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: REL1_20 Gerrit-Owner: Demon Gerrit-Reviewer: Reedy ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits