diff options
author | Luis Aguilera <luis.aguilera@xamarin.com> | 2017-08-25 23:02:57 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-25 23:02:57 +0300 |
commit | ba94259b26824844f4d2c76c794738eb75b85726 (patch) | |
tree | 5d80ba37f2481b52d605464b00752ac12474e99f | |
parent | a2bffe84675b82c0f08b0429f715aac1daa70806 (diff) | |
parent | d9b35e71acf416a239b772484d3e35d228591f6a (diff) |
Merge pull request #2950 from mono/d15-3-version-bump-sr3monodevelop-7.1.3.1
Update to x.y.3.z for 15.3 SR3
-rw-r--r-- | version.config | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/version.config b/version.config index 5a8ab277dc..3203caa842 100644 --- a/version.config +++ b/version.config @@ -1,4 +1,4 @@ -Version=7.1.1 -Label=7.1.1 +Version=7.1.3 +Label=7.1.3 CompatVersion=7.0 IsPreview=false |