Merge branch 'master' into 3.1.7_maint
-rw-r--r-- 46 .gitignore
-rw-r--r-- 698 CHANGES
-rw-r--r-- 1284 LICENSE
-rw-r--r-- 3869 README.md
-rw-r--r-- 87 Setup.hs
drwxr-xr-x - Text
-rw-r--r-- 2610 parsec.cabal
drwxr-xr-x - test