From d86c7e80d75392b30a71495b8a942e31894c66ea Mon Sep 17 00:00:00 2001
From: Simon Branford <s.j.branford@bham.ac.uk>
Date: Tue, 4 Jul 2023 19:23:22 +0100
Subject: [PATCH] linting

---
 docs/policies/toolchains.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/policies/toolchains.md b/docs/policies/toolchains.md
index 0a4851dc6..c67ef48ae 100644
--- a/docs/policies/toolchains.md
+++ b/docs/policies/toolchains.md
@@ -30,3 +30,4 @@ As of July 2023 the latest toolchain generation is `2023a`.
 * Supported: 2022b, 2022a, 2021b, 2021a, 2020b, 2020a
 * Deprecated: 2019b and 2019a
 * Archived (and unsupported): 2018b and older
+