THANKS: add Dmitry Tretyakov

... since I missed to give credit to the report in the fix of #12861

diff --git a/docs/THANKS b/docs/THANKS
index eee2ec51a4da006a0b9f52ca6da4805b2bc8a4e2..183836301dfeed369399cf307d7c867e8482c289 100644 (file)
--- a/docs/THANKS
+++ b/docs/THANKS
@@ -738,6 +738,7 @@ Dmitry Mikhirev
 Dmitry Popov
 Dmitry Rechkin
 Dmitry S. Baikov
+Dmitry Tretyakov
 Dmitry Wagin
 dnivras on github
 Dolbneff A.V