Revert "Revert "Address #1285""

TommyMurphyTM1234 · TommyMurphyTM1234 · commit 67ab08828029 · 2023-06-30T13:24:15.000+01:00
This reverts commit 8b47422.
diff --git a/spike b/spike
@@ -1 +1 @@
-Subproject commit a0298a33e7b2091ba8d9f3a20838d96dc1164cac
+Subproject commit 71f5a8fd1b1185b7c15151f116aa3fef058bf210
