diff --git a/doc/thanks/list b/doc/thanks/list index 9a57d462c5..cd7ed9f3ef 100644 --- a/doc/thanks/list +++ b/doc/thanks/list @@ -122,3 +122,4 @@ Nick, Nicholas Golder-Manning, Troels Henriksen, Max Thoursie, +Thomas Haller,