diff options
-rw-r--r-- | docs/THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/THANKS b/docs/THANKS index ce2b2b81f..f58fdffc4 100644 --- a/docs/THANKS +++ b/docs/THANKS @@ -80,3 +80,4 @@ that have contributed with non-trivial parts: - Marcus Webster <marcus.webster@phocis.com> - Götz Babin-Ebell <babinebell@trustcenter.de> - Andreas Damm <andreas-sourceforge@radab.org> + - Jacky Lam <sylam@emsoftltd.com> |