THe build is currently broken here, pushed for debugging

JohnVidler · JohnVidler · commit a6d13f2d3c4b · 2023-05-13T16:08:28.000+01:00
diff --git a/source/main.cpp b/source/main.cpp
@@ -10,4 +10,5 @@ int main()
     out_of_box_experience();
 
     microbit_panic( 999 );
-}
+}
+
