diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/THANKS-filter | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/THANKS-filter b/docs/THANKS-filter index 09340f785..76b5f50d5 100644 --- a/docs/THANKS-filter +++ b/docs/THANKS-filter @@ -78,3 +78,4 @@ s/CarloCannas on github$/Carlo Cannas/ s/Henrik S. Gaßmann$/Henrik Gaßmann/ s/moteus on github/Alexey Melnichuk/ s/Rich Moore/Richard Moore/ +s/kdekker/Kees Dekker/ |