From d475c15047135b79fe28a5a7a4adc458ca45b140 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 21 May 2020 12:14:21 +0100 Subject: [PATCH] Update 2020-05-19-song.md --- _posts/2020-05-19-song.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2020-05-19-song.md b/_posts/2020-05-19-song.md index ff30447..ccbf280 100644 --- a/_posts/2020-05-19-song.md +++ b/_posts/2020-05-19-song.md @@ -1,5 +1,5 @@ --- -Title: PLDI 2020, song and REMS+DeepSpec workshop +title: PLDI 2020, song and REMS+DeepSpec workshop --- This year’s PLDI has moved online and the organisers have -- GitLab