2020-06-29: Merge pull request #1410 from KhronosGroup/fix-1406
Extremely old and obsolete build, only kept for reference. Binary builds are no longer provided after moving away from Travis.
Extremely old and obsolete build, only kept for reference. Binary builds are no longer provided after moving away from Travis.