diff -r d7eaba5831d5 -r b571b3566915 scripts/functions
--- a/scripts/functions	Fri May 09 19:07:02 2014 -0700
+++ b/scripts/functions	Sat May 10 12:33:37 2014 +0200
@@ -571,7 +571,6 @@
     # Some company networks have firewalls to connect to the internet, but it's
     # not easy to detect them, so force a global ${CT_CONNECT_TIMEOUT}-second
     # timeout.
-    # For curl, no good progress indicator is available. So, be silent.
     if [ ${CT_CONNECT_TIMEOUT} = -1 ]; then
         T=
     else