Merge pull request #6020 from mshabunin:hal_dxt