Merge pull request #483 from Jonahcb/2025sp

Add Jonah to Interactive Verification
sampsyo · Feb 3, 2025 · c30ca6a · c30ca6a
2 parents 99378de + e2b9e28
commit c30ca6a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/data/content.toml b/data/content.toml
@@ -121,5 +121,5 @@ lesson = 14
 
 [[classes]]
 title = "Interactive Verification"
-leader = "Edmund, Mahmoud Elsharawy"
+leader = "Edmund, Jonah Bernard, Mahmoud Elsharawy"
 readings = ["compcert"]