jacket-56
Travis CI too provides very unstable build infrastructure, so good-bye, Travis
master
Merge branch 'jacket-56'