diff options
| -rw-r--r-- | doc/thanks/list | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/thanks/list b/doc/thanks/list index 3873ec5e5..e56ecc917 100644 --- a/doc/thanks/list +++ b/doc/thanks/list @@ -71,3 +71,6 @@ tj, Carlos Pita, Lee Hinman, Lukas Platz, +Sergey Karpukhin, +Silvio Ankermann, +Paul Tötterman, |