From 15dfee6a387fab56137e69c771c15058fd77d255 Mon Sep 17 00:00:00 2001
From: Richard Brooksby <rb@ravenbrook.com>
Date: Tue, 26 Nov 2024 17:51:29 +0000
Subject: [PATCH] Removing use of deprecated alias of versionchange, which was
 removed in sphinx 8
 <https://www.sphinx-doc.org/en/master/changes/8.0.html#release-8-0-0-released-jul-29-2024>
 and breaks the manual build.

---
 mps/manual/source/extensions/mps/__init__.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mps/manual/source/extensions/mps/__init__.py b/mps/manual/source/extensions/mps/__init__.py
index 7c48b78127a..95ae2a396cb 100644
--- a/mps/manual/source/extensions/mps/__init__.py
+++ b/mps/manual/source/extensions/mps/__init__.py
@@ -12,7 +12,7 @@
 from docutils.parsers.rst import Directive
 from docutils.parsers.rst.directives.admonitions import BaseAdmonition
 from sphinx import addnodes
-from sphinx.directives.other import VersionChange
+from sphinx.domains.changeset import VersionChange
 from sphinx.domains import Domain
 from sphinx.domains.changeset import versionlabels
 from sphinx.locale import admonitionlabels