Contributors of patches
-----------------------
-Roberto Bagnara, Markus Nullmeier, Do Hoang Son, Pearu Peterson,
-Benedikt Pluemper, Ben Sapp, Stefan Weinzierl.
+Roberto Bagnara, Chris Dams, Markus Nullmeier, Do Hoang Son,
+Pearu Peterson, Benedikt Pluemper, Ben Sapp, Stefan Weinzierl.
(Please send email if you think you were forgotten.)