[3.12] Docs: upgrade to python-docs-theme 2023.7 (GH-107617) (#107633)
(cherry picked from commit 19f32b24b2e1680ff9929bb64d681397b259c6fb)
H
Hugo van Kemenade committed
28a9849d7c2f2ae3c283cf61b904418d8b01ec01
Parent: 310e146
Committed by GitHub <noreply@github.com>
on 8/4/2023, 8:20:20 PM