diff options
author | Greg Munn <gregm@microsoft.com> | 2019-05-10 22:06:52 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-10 22:06:52 +0300 |
commit | 9e1629d19c3f9f6d11a5d9895993a8edf1e7a3aa (patch) | |
tree | 1024ffa8057e1259e4369719728164636bbfa865 | |
parent | d0050ff1853841ef632f8c3fcc93f3714bc91d53 (diff) | |
parent | 22ba6640b6affd57d2886ea534b69b6bff60ab47 (diff) |
Merge pull request #7551 from mono/sgmunn-bump-versionmonodevelop-7.8.4.1release-7.8
Update version.config
-rw-r--r-- | version.config | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/version.config b/version.config index 067a7462d0..df10176c53 100644 --- a/version.config +++ b/version.config @@ -1,4 +1,4 @@ -Version=7.8.3 -Label=7.8.3 +Version=7.8.4 +Label=7.8.4 CompatVersion=7.0 IsPreview=false |