Previously, Travis used the latest mono image. By using the same one as the Docker image, we would have caught the problem in issue #4403 before the changes were merged into the master branch.
Previously, Travis used the latest mono image. By using the same one as the Docker image, we would have caught the problem in issue #4403 before the changes were merged into the master branch.