diff --git a/bump.travis b/bump.travis new file mode 100644 index 0000000000..7e8157bf7f --- /dev/null +++ b/bump.travis @@ -0,0 +1,3 @@ +Make Travis run the test suite again in hope of triggering the bug and finally get hold of the log files. + +1st try.