doc/devel/release.html | 6 ++++++

diff --git a/doc/devel/release.html b/doc/devel/release.html
index 38a9040d5e120d2cd59e93bac679598d7ead21ba..3349c43c8dd5d85ad380d2f9560acde0dd34d070 100644
--- a/doc/devel/release.html
+++ b/doc/devel/release.html
@@ -146,6 +146,12 @@ <a href="https://github.com/golang/go/issues?q=milestone%3AGo1.12.16+label%3ACherryPickApproved">Go
 1.12.16 milestone</a> on our issue tracker for details.
 </p>
 
+<p>
+go1.12.17 (released 2020/02/12) includes a fix to the runtime. See
+the <a href="https://github.com/golang/go/issues?q=milestone%3AGo1.12.17+label%3ACherryPickApproved">Go
+1.12.17 milestone</a> on our issue tracker for details.
+</p>
+
 <h2 id="go1.11">go1.11 (released 2018/08/24)</h2>
 
 <p>