From 8c96b67ea2428f282bb925846a83da290d0fb328 Mon Sep 17 00:00:00 2001
From: "Amy J. Ko" <ajko@uw.edu>
Date: Tue, 24 Sep 2019 14:19:11 -0700
Subject: [PATCH] Updated name.

---
 verification.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/verification.html b/verification.html
index d5c001c..f11ccd2 100644
--- a/verification.html
+++ b/verification.html
@@ -25,7 +25,7 @@
 		<small>Credit: public domain</small>
 		
 		<h1>Verification</h1>
-		<div class="lead">Andrew J. Ko</div>
+		<div class="lead">Amy J. Ko</div>
 
 		<p>How do you know a program does what you intended?</p>