diff options
Diffstat (limited to 'version-fix.patch')
| -rw-r--r-- | version-fix.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version-fix.patch b/version-fix.patch index dc3a41e6fe41..3912d9b03af3 100644 --- a/version-fix.patch +++ b/version-fix.patch @@ -10,7 +10,7 @@ index 390a37a7f..2b41d0dd9 100644 - if (isCI) dynVer - else localSnapshotVersion // only for local publishing - }, -+ version := "0.10.9", ++ version := "0.11.1", // note bucket created by @tgodzik munitBucketName := Some("scala-metals-test-reports"), scalaVersion := V.scala212, |