[MediaWiki-commits] [Gerrit] 0.6 release - change (mediawiki...Diff)

2013-05-08 Thread Jeroen De Dauw (Code Review) 
Jeroen De Dauw has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/62823


Change subject: 0.6 release
..

0.6 release

Change-Id: I3177d5ca0824b7a1a50166c2234ff14c2bcfec41
---
M Diff.php
M RELEASE-NOTES
2 files changed, 2 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Diff 
refs/changes/23/62823/1

diff --git a/Diff.php b/Diff.php
index 0e53e8e..8ef7b23 100644
--- a/Diff.php
+++ b/Diff.php
@@ -28,7 +28,7 @@
  * @ingroup Test
  */
 
-define( 'Diff_VERSION', '0.6 alpha' );
+define( 'Diff_VERSION', '0.6' );
 
 // @codeCoverageIgnoreStart
 call_user_func( function() {
diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 84bffbf..7975a00 100644
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -5,7 +5,7 @@
 
 
 === Version 0.6 ===
-dev
+2013-05-08
 
 ; Compatibility changes
 

-- 
To view, visit https://gerrit.wikimedia.org/r/62823
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I3177d5ca0824b7a1a50166c2234ff14c2bcfec41
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Diff
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw jeroended...@gmail.com

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] 0.6 release - change (mediawiki...Diff)

2013-05-08 Thread Jeroen De Dauw (Code Review) 
Jeroen De Dauw has submitted this change and it was merged.

Change subject: 0.6 release
..


0.6 release

Change-Id: I3177d5ca0824b7a1a50166c2234ff14c2bcfec41
---
M Diff.php
M RELEASE-NOTES
2 files changed, 2 insertions(+), 2 deletions(-)

Approvals:
  Jeroen De Dauw: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/Diff.php b/Diff.php
index 0e53e8e..8ef7b23 100644
--- a/Diff.php
+++ b/Diff.php
@@ -28,7 +28,7 @@
  * @ingroup Test
  */
 
-define( 'Diff_VERSION', '0.6 alpha' );
+define( 'Diff_VERSION', '0.6' );
 
 // @codeCoverageIgnoreStart
 call_user_func( function() {
diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 84bffbf..7975a00 100644
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -5,7 +5,7 @@
 
 
 === Version 0.6 ===
-dev
+2013-05-08
 
 ; Compatibility changes
 

-- 
To view, visit https://gerrit.wikimedia.org/r/62823
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I3177d5ca0824b7a1a50166c2234ff14c2bcfec41
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Diff
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw jeroended...@gmail.com
Gerrit-Reviewer: Jeroen De Dauw jeroended...@gmail.com
Gerrit-Reviewer: jenkins-bot

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits