diff options
Diffstat (limited to 'THANKS')
-rw-r--r-- | THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -16,6 +16,7 @@ Felipe Castro <fefcas@gmail.com> Antonio Ceballos <aceballos@gmail.com> Remus-Gabriel Chelu <remusgabriel.chelu@disroot.org> Yuri Chornoivan <yurchor@ukr.net> +Seong-ho Cho <darkcircle.0426@gmail.com> Mo DeJong <mdejong@cygnus.com> Akim Demaille <demaille@inf.enst.fr> Paul Eggert <eggert@twinsun.com> |