mirror of
https://github.com/TextureGroup/Texture.git
synced 2026-04-07 19:17:39 +00:00
https://github.com/TextureGroup/Texture/pull/743 Manually merged since I forgot to retarget that diff onto master before merge
https://github.com/TextureGroup/Texture/pull/743 Manually merged since I forgot to retarget that diff onto master before merge