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