v8.2.0417
98be7fec · patch 8.2.0417: Travis CI config can be improved ·