Thomas Waldmann 740312f725 Merge branch '1.0-maint' into merge-1.0-maint 8 vuotta sitten
..
install.sh 740312f725 Merge branch '1.0-maint' into merge-1.0-maint 8 vuotta sitten
run.sh 07d9132f05 travis: use tox -r so it rebuilds the tox envs 10 vuotta sitten
upload_coverage.sh 85311f0116 fix .coverage processing 9 vuotta sitten