Merge pull request #471 from devv64/patch-1

add Dev Patel for Automatic Verification discussion
sampsyo · Jan 27, 2025 · c90bf15 · c90bf15
2 parents 20a1bcd + 64f10bd
commit c90bf15
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/data/content.toml b/data/content.toml
@@ -53,7 +53,7 @@ lesson = 7
 
 [[classes]]
 title = "Automatic Verification"
-leader = "Annabel Baniak"
+leader = "Annabel Baniak, Dev Patel (dp673)"
 readings = ["alive"]