From c4ee726532178e556d923372f29163bd206d7732 Mon Sep 17 00:00:00 2001
From: Victor Zverovich <viz@fb.com>
Date: Mon, 4 Jul 2022 09:50:06 -0700
Subject: [PATCH] Update version

---
 ChangeLog.rst | 4 ++--
 doc/build.py  | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/ChangeLog.rst b/ChangeLog.rst
index ea373a5f3166..966d039f8132 100644
--- a/ChangeLog.rst
+++ b/ChangeLog.rst
@@ -1,5 +1,5 @@
-9.0.0 - TBD
------------
+9.0.0 - 2022-07-04
+------------------
 
 * Switched to the internal floating point formatter for all decimal presentation
   formats. In particular this results in consistent rounding on all platforms
diff --git a/doc/build.py b/doc/build.py
index f6cb5f533603..1e37be30134c 100755
--- a/doc/build.py
+++ b/doc/build.py
@@ -4,7 +4,7 @@
 import errno, os, re, sys
 from subprocess import check_call, CalledProcessError, Popen, PIPE, STDOUT
 
-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', '7.1.3', '8.0.0', '8.0.1', '8.1.0', '8.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', '7.1.3', '8.0.0', '8.0.1', '8.1.0', '8.1.1', '9.0.0']
 
 class Pip:
   def __init__(self, venv_dir):