doc/devel/release.html | 16 ++++++++++++++--

diff --git a/doc/devel/release.html b/doc/devel/release.html
index 2a7a499024b119eb29bbe53f7c6639e72a75c037..1d0b5351977c23975da45ea47e63cf73e580f692 100644
--- a/doc/devel/release.html
+++ b/doc/devel/release.html
@@ -49,7 +49,13 @@ 1.12.2 milestone</a> on our issue tracker for details.
 </p>
 
 <p>
-go1.12.3 (released 2019/04/08) fixes an issue where using the prebuilt binary
+go1.12.3 (released 2019/04/08) was accidentally released without its
+intended fix. It is identical to go1.12.2, except for its version
+number. The intended fix is in go1.12.4.
+</p>
+
+<p>
+go1.12.4 (released 2019/04/11) fixes an issue where using the prebuilt binary
 releases on older versions of GNU/Linux
 <a href="https://golang.org/issues/31293">led to failures</a>
 when linking programs that used cgo.
@@ -122,7 +128,13 @@ 1.11.7 milestone</a> on our issue tracker for details.
 </p>
 
 <p>
-go1.11.8 (released 2019/04/08) fixes an issue where using the prebuilt binary
+go1.11.8 (released 2019/04/08) was accidentally released without its
+intended fix. It is identical to go1.11.7, except for its version
+number. The intended fix is in go1.11.9.
+</p>
+
+<p>
+go1.11.9 (released 2019/04/11) fixes an issue where using the prebuilt binary
 releases on older versions of GNU/Linux
 <a href="https://golang.org/issues/31293">led to failures</a>
 when linking programs that used cgo.