From cb65f64572557e08e4eba6b84b855652acde1c34 Mon Sep 17 00:00:00 2001 From: Ran Benita Date: Mon, 15 Aug 2022 19:07:36 +0300 Subject: [PATCH] changelog: add missing entry for PR #9248 --- changelog/9248.doc.rst | 1 + 1 file changed, 1 insertion(+) create mode 100644 changelog/9248.doc.rst diff --git a/changelog/9248.doc.rst b/changelog/9248.doc.rst new file mode 100644 index 00000000000..755e7b0f1af --- /dev/null +++ b/changelog/9248.doc.rst @@ -0,0 +1 @@ +The documentation is now built using Sphinx 5.x (up from 3.x previously).