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 <[email protected]>
Gerrit-Reviewer: Jeroen De Dauw <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
