dl: add 1.12.17 and 1.13.8
Change-Id: Ibe95b88a083f64d24d8915752e98c405c247242e
Reviewed-on: https://go-review.googlesource.com/c/dl/+/219230
Reviewed-by: Carlos Amedee <carlos@golang.org>
diff --git a/go1.12.17/main.go b/go1.12.17/main.go
new file mode 100644
index 0000000..52a31d3
--- /dev/null
+++ b/go1.12.17/main.go
@@ -0,0 +1,24 @@
+// Copyright 2020 The Go Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style
+// license that can be found in the LICENSE file.
+
+// The go1.12.17 command runs the go command from Go 1.12.17.
+//
+// To install, run:
+//
+// $ go get golang.org/dl/go1.12.17
+// $ go1.12.17 download
+//
+// And then use the go1.12.17 command as if it were your normal go
+// command.
+//
+// See the release notes at https://golang.org/doc/devel/release.html#go1.12.minor
+//
+// File bugs at https://golang.org/issues/new
+package main
+
+import "golang.org/dl/internal/version"
+
+func main() {
+ version.Run("go1.12.17")
+}
diff --git a/go1.13.8/main.go b/go1.13.8/main.go
new file mode 100644
index 0000000..3641cac
--- /dev/null
+++ b/go1.13.8/main.go
@@ -0,0 +1,24 @@
+// Copyright 2020 The Go Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style
+// license that can be found in the LICENSE file.
+
+// The go1.13.8 command runs the go command from Go 1.13.8.
+//
+// To install, run:
+//
+// $ go get golang.org/dl/go1.13.8
+// $ go1.13.8 download
+//
+// And then use the go1.13.8 command as if it were your normal go
+// command.
+//
+// See the release notes at https://golang.org/doc/devel/release.html#go1.13.minor
+//
+// File bugs at https://golang.org/issues/new
+package main
+
+import "golang.org/dl/internal/version"
+
+func main() {
+ version.Run("go1.13.8")
+}
