diff options
-rw-r--r-- | doc/thanks/list | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/thanks/list b/doc/thanks/list index 80dd6ded1..3873ec5e5 100644 --- a/doc/thanks/list +++ b/doc/thanks/list @@ -70,3 +70,4 @@ Lars Wallenborn, tj, Carlos Pita, Lee Hinman, +Lukas Platz, |