Jeroen De Dauw has uploaded a new change for review.
https://gerrit.wikimedia.org/r/73955
Change subject: Update rel notes and bump to 0.8 alpha
......................................................................
Update rel notes and bump to 0.8 alpha
Change-Id: Ib10fb3142026cd0d22c1c32b1044e012a17425d3
---
M Diff.php
M RELEASE-NOTES
2 files changed, 9 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Diff
refs/changes/55/73955/1
diff --git a/Diff.php b/Diff.php
index 2a827d2..33d4534 100644
--- a/Diff.php
+++ b/Diff.php
@@ -28,7 +28,7 @@
* @ingroup Test
*/
-define( 'Diff_VERSION', '0.7' );
+define( 'Diff_VERSION', '0.8 alpha' );
// @codeCoverageIgnoreStart
call_user_func( function() {
diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 7f8b45e..257f1c2 100644
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -3,6 +3,14 @@
Extension page on mediawiki.org: https://www.mediawiki.org/wiki/Extension:Diff
+=== Version 0.8 ===
+dev
+
+; Improvements
+
+* MapPatcher will now report conflicts for remove operations that specify a
value to be removed
+different from the value in the structure being patched.
+
=== Version 0.7 ===
2013-07-16
--
To view, visit https://gerrit.wikimedia.org/r/73955
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ib10fb3142026cd0d22c1c32b1044e012a17425d3
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Diff
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
