From a277ee1409e88b4d60787231f50bb21b8a1c504c Mon Sep 17 00:00:00 2001
From: Petr Viktorin <encukou@gmail.com>
Date: Wed, 30 Sep 2020 10:09:21 +0200
Subject: [PATCH] developers.csv: Escape dot to prevent <ol>

Re-apply commit 0427168c1ae4f69aff299fa215dd2ae7aaa0ff15.
This time the issue was fixed in the script that generates the data,
so it shouldn't reappear.

Co-Authored-By: Hugo van Kemenade <hugovk@users.noreply.github.com>
---
 developers.csv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/developers.csv b/developers.csv
index 5ffa76f86f..1040bb9a7c 100644
--- a/developers.csv
+++ b/developers.csv
@@ -73,7 +73,7 @@ Frank Wierzbicki,,2009-08-02
 Ezio Melotti,ezio-melotti,2009-06-07
 Philip Jenvey,pjenvey,2009-05-07
 Michael Foord,voidspace,2009-04-01
-R. David Murray,bitdancer,2009-03-30
+R\. David Murray,bitdancer,2009-03-30
 Chris Withers,cjw296,2009-03-08
 Tarek Ziadé,,2008-12-21
 Hirokazu Yamamoto,,2008-08-12