From 8db443a6c4cf6385b4a5ee9bd64781e7844a430b Mon Sep 17 00:00:00 2001 From: Johannes Schauer Marin Rodrigues Date: Fri, 17 Mar 2023 08:03:19 +0100 Subject: [PATCH] README.md: update list of contributors --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 22eb63d..c4751cd 100644 --- a/README.md +++ b/README.md @@ -152,13 +152,14 @@ Contributors ============ - Johannes Schauer Marin Rodrigues (main author) - - Gioele Barabucci - Helmut Grohne + - Gioele Barabucci - Benjamin Drung - Jochen Sprickerhof - Josh Triplett - Konstantin Demin - David Kalnischkies + - Jakub Wilk - Joe Groocock - Nicolas Vigier - Raul Tambre