From be6e39a8622f0d905072874ec25b1ffd155b12e1 Mon Sep 17 00:00:00 2001
From: Jia Tan <jiat0218@gmail.com>
Date: Thu, 20 Apr 2023 20:15:00 +0800
Subject: [PATCH] Update THANKS.

---
 THANKS | 1 +
 1 file changed, 1 insertion(+)

diff --git a/THANKS b/THANKS
index 0d811705..e28d3dc8 100644
--- a/THANKS
+++ b/THANKS
@@ -67,6 +67,7 @@ has been important. :-) In alphabetical order:
   - Iouri Kharon
   - Thomas Klausner
   - Richard Koch
+  - Anton Kochkov
   - Ville Koskinen
   - Marcin Kowalczyk
   - Jan Kratochvil
-- 
2.11.4.GIT