Version 1.3.0-dev.7.2

svn merge -c 34434 https://dart.googlecode.com/svn/branches/bleeding_edge trunk
svn merge -c 34436 https://dart.googlecode.com/svn/branches/bleeding_edge trunk
svn merge -c 34445 https://dart.googlecode.com/svn/branches/bleeding_edge trunk
svn merge -c 34446 https://dart.googlecode.com/svn/branches/bleeding_edge trunk

git-svn-id: http://dart.googlecode.com/svn/trunk@34463 260f80e4-7a28-3924-810f-c04153c831b5
diff --git a/tools/VERSION b/tools/VERSION
index 4147512..b013c08 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 3
 PATCH 0
 PRERELEASE 7
-PRERELEASE_PATCH 1
+PRERELEASE_PATCH 2