dl: add go1.13.7 and go1.12.16
Change-Id: I4535827d11e4eccb3634af3e0739002d9bc5f423
Reviewed-on: https://go-review.googlesource.com/c/dl/+/216679
Run-TryBot: Katie Hockman <katie@golang.org>
Reviewed-by: Dmitri Shuralyov <dmitshur@golang.org>
TryBot-Result: Gobot Gobot <gobot@golang.org>
diff --git a/go1.12.16/main.go b/go1.12.16/main.go
new file mode 100644
index 0000000..96fec89
--- /dev/null
+++ b/go1.12.16/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.16 command runs the go command from Go 1.12.16.
+//
+// To install, run:
+//
+// $ go get golang.org/dl/go1.12.16
+// $ go1.12.16 download
+//
+// And then use the go1.12.16 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.16")
+}
diff --git a/go1.13.7/main.go b/go1.13.7/main.go
new file mode 100644
index 0000000..da55c63
--- /dev/null
+++ b/go1.13.7/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.7 command runs the go command from Go 1.13.7.
+//
+// To install, run:
+//
+// $ go get golang.org/dl/go1.13.7
+// $ go1.13.7 download
+//
+// And then use the go1.13.7 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.7")
+}
