Add Floris to AUTHORS.

Christian Beier 10 years ago
parent 173c0db807
commit 396a3464b9

@ -38,7 +38,8 @@ George Fleury, Kan-Ru Chen, Steve Guo, Luca Stauble, Peter Watkins,
Kyle J. McKay, Mateus Cesar Groess, Philip Van Hoof, D. R. Commander,
Rostislav Lisovy, Oliver Loch, Raphael Kubo da Costa, Amandeep Singh,
Brian Bidulock, Daniel Cohen Gindi, David Verbeiren, Luca Falavigna,
Matthias Treydte, Nicolas Ruff and Robbert Klarenbeek.
Matthias Treydte, Nicolas Ruff, Robbert Klarenbeek and Floris Bos.
Probably I forgot quite a few people sending a patch here and there, which
really made a difference. Without those, some obscure bugs still would