diff options
Diffstat (limited to 'docs/THANKS-filter')
| -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 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/ |