Merge pull request #475 from katherinewu312/2025sp

Add Katherine to automatic verification paper
sampsyo · Jan 27, 2025 · a5c1b99 · a5c1b99
2 parents b0b4822 + 8f7fd5f
commit a5c1b99
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, Dev Patel (dp673)"
+leader = "Annabel Baniak, Dev Patel (dp673), Katherine Wu"
 readings = ["alive"]