merge of Trent Gamblin

rouilj · rouilj · commit de8e12f0011a · 2017-04-09T21:11:42.000-04:00
diff --git a/doc/acknowledgements.txt b/doc/acknowledgements.txt
@@ -99,6 +99,7 @@ Tamer Fahmy,
 Thibault Févry,
 Vickenty Fesunov,
 Hernan Martinez Foffani,
+Trent Gamblin,
 Stuart D. Gathman,
 Martin Geisler,
 Ajit George,
