From: Ivan Maidanski <ivmai@mail.ru>
Date: Wed, 20 Mar 2019 06:15:00 +0000 (+0300)
Subject: Update AUTHORS file (add Peter Budai)
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=66dfbff5d260486eccc8d57f2d96aac340d383c0;p=gc

Update AUTHORS file (add Peter Budai)
---

diff --git a/AUTHORS b/AUTHORS
index 27da080e..cfa357db 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -314,6 +314,7 @@ Paul Graham
 Paul Nash <paulnash@wildseed.com>
 Per Bothner <per@bothner.com>
 Peter Bigot <bigotp@acm.org>
+Peter Budai <peterbudai@hotmail.com>
 Peter Chubb <peterc@sour.sw.oz.au>
 Peter Colson <pcolson@connexus.net.au>
 Peter Housel <housel@acm.org>