From 28c646bbce8758cca0a2c5c04ddfa684fa7e368d Mon Sep 17 00:00:00 2001
From: "Christian Y. Brenninkmeijer"
 <christian.brenninkmeijer@manchester.ac.uk>
Date: Wed, 24 Jul 2024 12:41:54 +0100
Subject: [PATCH] info for release 7.2.0

---
 doc/source/conf.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/source/conf.py b/doc/source/conf.py
index f157419..0fe786c 100644
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -55,7 +55,7 @@
 ]
 
 # Which version of other SpiNNaker docs do we refer to?
-spinnaker_doc_version = "latest"
+spinnaker_doc_version = "7.2.0"
 
 intersphinx_mapping = {
     'python': ('https://docs.python.org/3.8', None),
@@ -100,9 +100,9 @@
 # built documents.
 #
 # The short X.Y version.
-version = '6.0'
+version = '1!7.2'
 # The full version, including alpha/beta/rc tags.
-release = '6.0.1'
+release = '1!7.2.0'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.