From ff960ee313c6aad08a1f6f3a35baf52ede614447 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 23 Jan 2019 11:05:36 +0100 Subject: [PATCH] * THANKS: Add the reporter of #372. --- THANKS | 1 + 1 file changed, 1 insertion(+) diff --git a/THANKS b/THANKS index 298397ead..49b5d4d90 100644 --- a/THANKS +++ b/THANKS @@ -5,6 +5,7 @@ Akim Demaille Andreas Tollkötter Anton Pirogov Ayrat Khalimov +Cambridge Yang Caroline Lemieux Christian Dax Christopher Ziegler