Merge branch 'stable-2.13' into stable-2.14
-rw-r--r-- 21 .ghci
-rw-r--r-- 2992 .gitignore
-rw-r--r-- 1294 COPYING
-rw-r--r-- 11318 INSTALL
-rw-r--r-- 92802 Makefile.am
-rw-r--r-- 171740 NEWS
-rw-r--r-- 191 README
-rw-r--r-- 14736 UPGRADE
-rwxr-xr-x 283 autogen.sh
drwxr-xr-x - autotools
drwxr-xr-x - cabal
-rw-r--r-- 27666 configure.ac
drwxr-xr-x - daemons
drwxr-xr-x - devel
drwxr-xr-x - doc
-rw-r--r-- 444 epydoc.conf.in
drwxr-xr-x - lib
drwxr-xr-x - man
-rw-r--r-- 3125 pylintrc
-rw-r--r-- 2928 pylintrc-test
drwxr-xr-x - qa
drwxr-xr-x - src
drwxr-xr-x - test
drwxr-xr-x - tools