aboutsummaryrefslogtreecommitdiff
path: root/docs/THANKS-filter
diff options
context:
space:
mode:
Diffstat (limited to 'docs/THANKS-filter')
-rw-r--r--docs/THANKS-filter1
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/THANKS-filter b/docs/THANKS-filter
index 2324ca41d..3ff912214 100644
--- a/docs/THANKS-filter
+++ b/docs/THANKS-filter
@@ -75,3 +75,4 @@ s/JDepooter$/Joel Depooter/
s/ERAMOTO Masaya$/Eramoto Masaya/
s/shachaf on github$/Shachaf Ben-Kiki/
s/CarloCannas on github$/Carlo Cannas/
+s/Henrik S. Gaßmann$/Henrik Gaßmann/