Merge pull request #2852 from lampepfl/DarkDimius-patch-1

Update version to 0.3.0

Author: smarter

project/Build.scala

@@ -37,7 +37,7 @@ object Build {
   val dottyOrganization = "ch.epfl.lamp"
   val dottyGithubUrl = "https://github.com/lampepfl/dotty"
   val dottyVersion = {
-    val baseVersion = "0.2.0-RC1"
+    val baseVersion = "0.3.0"
     val isNightly = sys.env.get("NIGHTLYBUILD") == Some("yes")
     val isRelease = sys.env.get("RELEASEBUILD") == Some("yes")
     if (isNightly)

sbt-dotty/src/dotty/tools/sbtplugin/DottyPlugin.scala

@@ -14,10 +14,10 @@ object DottyPlugin extends AutoPlugin {
     // - if this was a settingKey, then this would evaluate even if you don't use it.
     def dottyLatestNightlyBuild: Option[String] = {
       println("Fetching latest Dotty nightly version (requires an internet connection)...")
-      val Version = """      <version>(0.2\..*-bin.*)</version>""".r
+      val Version = """      <version>(0.3\..*-bin.*)</version>""".r
       val latest = scala.io.Source
           .fromURL(
-            "http://repo1.maven.org/maven2/ch/epfl/lamp/dotty_0.2/maven-metadata.xml")
+            "http://repo1.maven.org/maven2/ch/epfl/lamp/dotty_0.3/maven-metadata.xml")
           .getLines()
           .collect { case Version(version) => version }
           .toSeq