Update THANKS.

2025-07-30 00:06:40 +00:00 · 2022-03-31 00:05:07 +03:00 · 2022-03-31 00:05:07 +03:00 · 2ba8173e27
commit 2ba8173e27
parent 69d1b3fc29
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -32,6 +32,7 @@ has been important. :-) In alphabetical order:
  - Andrew Dudman
  - Markus Duft
  - İsmail Dönmez
+  - Paul Eggert
  - Robert Elz
  - Gilles Espinasse
  - Denis Excoffier