Forward port of patch # 500311: Work around for buggy https servers.
Fixes #494762.
diff --git a/Misc/ACKS b/Misc/ACKS
index 2cafde8..12605fc 100644
--- a/Misc/ACKS
+++ b/Misc/ACKS
@@ -38,6 +38,7 @@
 Thomas Bellman
 Juan M. Bello Rivas
 Andy Bensky
+Michel Van den Bergh
 Eric Beser
 Stephen Bevan
 Ron Bickers