Merge pull request #466 from UnsignedByte/patch-1

Add Edmund Lam to Interactive Verification
sampsyo · Jan 23, 2025 · f6a48af · f6a48af
2 parents fb36848 + 54f28b1
commit f6a48af
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 = "TK"
+leader = "Edmund"
 readings = ["compcert"]