From 0ce354c8201ce810e36e29e97f863b98c449151d Mon Sep 17 00:00:00 2001 From: Ivan Maidanski Date: Wed, 20 Mar 2019 09:15:00 +0300 Subject: [PATCH] Update AUTHORS file (add Peter Budai) --- AUTHORS | 1 + 1 file changed, 1 insertion(+) diff --git a/AUTHORS b/AUTHORS index 670e6580..78385081 100644 --- a/AUTHORS +++ b/AUTHORS @@ -313,6 +313,7 @@ Paul Graham Paul Nash Per Bothner Peter Bigot +Peter Budai Peter Chubb Peter Colson Peter Housel -- 2.40.0