From 1560264f70a90de8d8b68e246c476d79e4d60574 Mon Sep 17 00:00:00 2001
From: Andrew Bonventre <andybons@golang.org>
Date: Mon, 6 May 2019 15:56:43 -0400
Subject: [PATCH] doc: document Go 1.12.5

Change-Id: I9986a323db2a8f5fa74b071cfd04e8c786da0cb3
Reviewed-on: https://go-review.googlesource.com/c/go/+/175438
Reviewed-by: Brad Fitzpatrick <bradfitz@golang.org>
---
 doc/devel/release.html | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/doc/devel/release.html b/doc/devel/release.html
index e3677912bc5..69eec330a81 100644
--- a/doc/devel/release.html
+++ b/doc/devel/release.html
@@ -62,6 +62,13 @@ when linking programs that used cgo.
 Only Linux users who hit this issue need to update.
 </p>
 
+<p>
+go1.12.5 (released 2019/05/06) includes fixes to the compiler, the linker,
+the go command, the runtime, and the <code>os</code> package. See the
+<a href="https://github.com/golang/go/issues?q=milestone%3AGo1.12.5">Go
+1.12.5 milestone</a> on our issue tracker for details.
+</p>
+
 <h2 id="go1.11">go1.11 (released 2018/08/24)</h2>
 
 <p>