Merge remote-tracking branch 'origin/pr/59'

This commit is contained in:
Julian Ospald 2018-12-12 10:39:49 +08:00
commit 6072ded541
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28

View File

@ -29,6 +29,3 @@ addons:
# TODO: also run checkbashisms.pl (currently two instances of non-compliance)
script:
- ./.travis.sh
matrix:
fast_finish: true