Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLluis Sanchez <llsan@microsoft.com>2017-06-05 12:03:36 +0300
committerGitHub <noreply@github.com>2017-06-05 12:03:36 +0300
commit6aae6c38bffa1641799dc1a568b44921774c939e (patch)
tree768eeb3f58d62056efa38982b346d16069cd2ea0 /version.config
parent32efe3910c66e81ab1ccf5a529e7263d4baf33ce (diff)
Bump version
Diffstat (limited to 'version.config')
-rw-r--r--version.config6
1 files changed, 3 insertions, 3 deletions
diff --git a/version.config b/version.config
index fa657ecd90..7c093ead18 100644
--- a/version.config
+++ b/version.config
@@ -1,4 +1,4 @@
-Version=7.1
-Label=7.1 Preview
+Version=7.2
+Label=7.2 Preview
CompatVersion=7.0
-IsPreview=true \ No newline at end of file
+IsPreview=true