Merge branch '7451-dont-recreate-venv3dir-wip'
-rw-r--r-- 95 COPYING
-rw-r--r-- 970 README
-rw-r--r-- 34520 agpl-3.0.txt
drwxr-xr-x - git
drwxr-xr-x - install
drwxr-xr-x - jenkins