From 577f690540c9ddd06ff0f84405def7630a30c087 Mon Sep 17 00:00:00 2001 From: Johannes Schauer Marin Rodrigues Date: Fri, 23 Dec 2022 10:55:13 +0100 Subject: [PATCH] README.md: update list of contributors --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 03d5c91..22eb63d 100644 --- a/README.md +++ b/README.md @@ -155,10 +155,10 @@ Contributors - Gioele Barabucci - Helmut Grohne - Benjamin Drung + - Jochen Sprickerhof - Josh Triplett - Konstantin Demin - David Kalnischkies - - Jochen Sprickerhof - Joe Groocock - Nicolas Vigier - Raul Tambre