diff --git a/ChangeLog.rst b/ChangeLog.rst
index ce65a1784d12..26bb8646e3ed 100644
--- a/ChangeLog.rst
+++ b/ChangeLog.rst
@@ -1,5 +1,5 @@
-7.1.2 - TBD
------------
+7.1.2 - 2020-11-04
+------------------
 
 * Fixed floating point formatting with large precision
   (`#1976 <https://github.com/fmtlib/fmt/issues/1976>`_).
diff --git a/doc/build.py b/doc/build.py
index 85eaaa811872..bae311d414e0 100755
--- a/doc/build.py
+++ b/doc/build.py
@@ -6,7 +6,7 @@
 from subprocess import check_call, check_output, CalledProcessError, Popen, PIPE
 from distutils.version import LooseVersion
 
-versions = ['1.0.0', '1.1.0', '2.0.0', '3.0.2', '4.0.0', '4.1.0', '5.0.0', '5.1.0', '5.2.0', '5.2.1', '5.3.0', '6.0.0', '6.1.0', '6.1.1', '6.1.2', '6.2.0', '6.2.1', '7.0.0', '7.0.1', '7.0.2', '7.0.3', '7.1.0', '7.1.1']
+versions = ['1.0.0', '1.1.0', '2.0.0', '3.0.2', '4.0.0', '4.1.0', '5.0.0', '5.1.0', '5.2.0', '5.2.1', '5.3.0', '6.0.0', '6.1.0', '6.1.1', '6.1.2', '6.2.0', '6.2.1', '7.0.0', '7.0.1', '7.0.2', '7.0.3', '7.1.0', '7.1.1', '7.1.2']
 
 def pip_install(package, commit=None, **kwargs):
   "Install package using pip."