From 075f22b0c0ef836f727eb436d8077a3dfbda0187 Mon Sep 17 00:00:00 2001 From: Johannes 'josch' Schauer Date: Thu, 27 Aug 2020 20:51:38 +0200 Subject: [PATCH] README.md: add Steve Dodd as contributor --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index ac3d3c9..8d24338 100644 --- a/README.md +++ b/README.md @@ -139,3 +139,4 @@ Contributors - Johannes Schauer (main author) - Helmut Grohne - Benjamin Drung + - Steve Dodd