2021-01-15: Merge pull request #1594 from KhronosGroup/fix-1591
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.