From f8b6e73a051b1f241cb3b4a50350803f09af79c6 Mon Sep 17 00:00:00 2001 From: Lev Walkin Date: Mon, 21 Jan 2019 23:54:08 -0800 Subject: [PATCH] added Dave for PR#283 --- AUTHORS | 1 + 1 file changed, 1 insertion(+) diff --git a/AUTHORS b/AUTHORS index a1667bc9..1bfbf422 100644 --- a/AUTHORS +++ b/AUTHORS @@ -4,6 +4,7 @@ Bartosz Marcinkiewicz Bent Nicolaisen Bi-Ruei, Chiu Daniele Varrazzo +Dave Cridland Denis Filatov (DanyaFilatov @ github) daa @ github Eric Sesterhenn