From 7fad5c6cf32dede336f1756ef110033a7eee710c Mon Sep 17 00:00:00 2001 From: John Regehr Date: Thu, 20 Jul 2023 09:21:09 -0600 Subject: [PATCH] just a quick fix --- data/PLDI/2019/pldi2019-pc.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/data/PLDI/2019/pldi2019-pc.txt b/data/PLDI/2019/pldi2019-pc.txt index f20b18b..f6cd3e8 100644 --- a/data/PLDI/2019/pldi2019-pc.txt +++ b/data/PLDI/2019/pldi2019-pc.txt @@ -67,7 +67,7 @@ E:Ting Cao E:Stephen Chang E:Shing-Chi Cheung E:Stephen Chong -E:Christina Delimitriou +E:Christina Delimitrou E:Chen Ding E:Yufei Ding E:Alexandra (Sasha) Fedorova