diff options
author | PJ Beaman <pj@xamarin.com> | 2014-07-03 04:34:04 +0400 |
---|---|---|
committer | PJ Beaman <pj@xamarin.com> | 2014-07-03 04:34:04 +0400 |
commit | 4574b1e5cf09f2e95e486c259bd9267a68c77cb3 (patch) | |
tree | eba742377f234bec2a724eb7f7b076a18005855d | |
parent | 1f05b21d10c16031e53f711ae5e84f5f02e4e942 (diff) |
Bump version number to 5.1.2monodevelop-5.1.2.0
-rw-r--r-- | version.config | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/version.config b/version.config index 8183e6bfbe..7eff722715 100644 --- a/version.config +++ b/version.config @@ -1,3 +1,3 @@ -Version=5.1 -Label=5.1 +Version=5.1.2 +Label=5.1.2 CompatVersion=5.0 |