r12935: After discussion with Volker fix bug #3397 using a variant of the patch by...
tree0cbe169e04efe5db10bdd51b35444fc11476a1b5
-rw-r--r-- 17982 COPYING
-rw-r--r-- 1143 MAINTAINERS
-rw-r--r-- 2558 Manifest
-rw-r--r-- 8589 README
-rw-r--r-- 0 Read-Manifest-Now
-rw-r--r-- 1357 Roadmap
-rw-r--r-- 216 WHATSNEW.txt
drwxr-xr-x - docs
drwxr-xr-x - examples
-rw-r--r-- 1577 make-tarball.sh
drwxr-xr-x - packaging
drwxr-xr-x - pcp
drwxr-xr-x - source
drwxr-xr-x - swat
drwxr-xr-x - testsuite