docs: Import 10.1.2 release notes, andd news item.
diff --git a/docs/relnotes.html b/docs/relnotes.html
index b633918..8ef7bbb 100644
--- a/docs/relnotes.html
+++ b/docs/relnotes.html
@@ -21,6 +21,7 @@
 </p>
 
 <ul>
+<li><a href="relnotes/10.1.2.html">10.1.2 release notes</a>
 <li><a href="relnotes/10.1.1.html">10.1.1 release notes</a>
 <li><a href="relnotes/10.1.html">10.1 release notes</a>
 <li><a href="relnotes/10.0.5.html">10.0.5 release notes</a>