Merge pull request #6762
commit66a86a3edb94e4769dd318f49dbe3f306274aa2c
authorWladimir J. van der Laan <laanwj@gmail.com>
Tue, 6 Oct 2015 08:06:47 +0000 (6 10:06 +0200)
committerWladimir J. van der Laan <laanwj@gmail.com>
Tue, 6 Oct 2015 08:07:04 +0000 (6 10:07 +0200)
treeac9ce3252bd8d0d5b4c9d003e9ef5b060d5eca8c
parentbdece5068bc741bf2bae37f7170b298e3d853715
parenta19504b9ab3702998a8cb94866d494f44ca247e7
Merge pull request #6762

a19504b tests-config.sh is superseded by tests_config.py (Pavel Janík)