THANKS: add contributor missing from aea8ac1

aea8ac1 fixed #8980 which was reported by Sgharat on github, but that
info was not included in the commit message.

diff --git a/docs/THANKS b/docs/THANKS
index e3a2ff5867a59ba81b44905c7e0924380ec30af4..2f0bb3a24daa85ca61ee8bf80f41ddf6094bf37b 100644 (file)
--- a/docs/THANKS
+++ b/docs/THANKS
@@ -2221,6 +2221,7 @@ Serj Kalichev
 Seshubabu Pasam
 Seth Mos
 Sevan Janiyan
+Sgharat on github
 Sh Diao
 Shachaf Ben-Kiki
 Shailesh Kapse