From 543093eddcc3a0ac3b92a11dc4a811e32b89ca4c Mon Sep 17 00:00:00 2001 From: Johannes Schauer Marin Rodrigues Date: Fri, 18 Nov 2022 09:48:07 +0100 Subject: [PATCH] README.md: update list of contributors --- README.md | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 990ddb6..03d5c91 100644 --- a/README.md +++ b/README.md @@ -152,11 +152,16 @@ Contributors ============ - Johannes Schauer Marin Rodrigues (main author) + - Gioele Barabucci - Helmut Grohne - Benjamin Drung - - Steve Dodd - Josh Triplett - Konstantin Demin + - David Kalnischkies + - Jochen Sprickerhof + - Joe Groocock + - Nicolas Vigier + - Raul Tambre + - Steve Dodd - Trent W. Buck - Vagrant Cascadian - - Gioele Barabucci