X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2FChangeLog;h=cd6f55bbd400bece4f11d57ae2e007d50542fdcf;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=a352d45d22e8b3308be61c6868af587f29457d4b;hpb=0dfd63ee1df63c155e760d8773dab4b8cc7e4721;p=helm.git

diff --git a/helm/http_getter/ChangeLog b/helm/http_getter/ChangeLog
index a352d45d2..cd6f55bbd 100644
--- a/helm/http_getter/ChangeLog
+++ b/helm/http_getter/ChangeLog
@@ -1,3 +1,4 @@
+- ignore comments and blank lines in servers file
 - added "list_servers", "add_server", "remove_server" methods
 - bugfix: multiple definition of URI by different servers are now permitted