2020-09-17: Merge pull request #1466 from KhronosGroup/fix-1465
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.