From 19789ae039bb782fe3fbbe9562a54480e4c34c64 Mon Sep 17 00:00:00 2001 From: Daniel Wagner Date: Tue, 27 Sep 2022 18:53:08 +0200 Subject: AUTHORS: Mention Ben's contributions --- AUTHORS | 1 + 1 file changed, 1 insertion(+) diff --git a/AUTHORS b/AUTHORS index 59b1ddd1..2ba7b20e 100644 --- a/AUTHORS +++ b/AUTHORS @@ -179,3 +179,4 @@ Matthias Gerstner Sebastian Pipping Daniel Linjama Nathan Crandall +Ben Kohler -- cgit v1.2.1