[MediaWiki-commits] [Gerrit] Updating $wgVersion to 1.20.0 - change (mediawiki/core[REL1_20])

2012-11-07 Thread Demon (Code Review) 
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])

2012-11-07 Thread Reedy (Code Review) 
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