Merge branch 'jlouis/robustize' into next
tree1e28d86b105693e0e64461a008d80ecd15b2d05b
-rw-r--r-- 27 .gitignore
-rw-r--r-- 56 AUTHORS
-rw-r--r-- 1329 COPYING
-rw-r--r-- 1567 HACKING
-rw-r--r-- 245 INSTALL
-rw-r--r-- 1207 Makefile
-rw-r--r-- 187 Makefile.config
-rw-r--r-- 2347 NEWS
-rw-r--r-- 1964 README
-rw-r--r-- 5820 TODO
drwxr-xr-x - bin
drwxr-xr-x - doc
drwxr-xr-x - lib
drwxr-xr-x - releases