maint: post-release administrivia

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 218eea798fdf2c045d2795fef9c7c524fdd6a12a..9a64012caf7d35335c5500b341c0437b4e858c27 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -68,6 +68,7 @@ Lie Yan                   lie.yan@kaust.edu.sa
 Magnus Fromreide          magfr@lysator.liu.se
 Marc Autret               autret_m@epita.fr
 Marc Mendiola             mmendiol@usc.edu
+Mark Boyall               wolfeinstein@gmail.com
 Martin Jacobs             martin.jacobs@arcor.de
 Martin Mokrejs            mmokrejs@natur.cuni.cz
 Martin Nylin              martin.nylin@linuxmail.org