Merge branch 'master' into ws
-rw-r--r-- 5 .gitignore
-rw-r--r-- 8786 CHANGELOG
-rwxr-xr-x 13422 INSTALL.sh
-rw-r--r-- 1608 REGRESSION.txt
-rw-r--r-- 16244 TODO.txt
drwxr-xr-x - bin
drwxr-xr-x - doc
drwxr-xr-x - sql
drwxr-xr-x - test
drwxr-xr-x - web