Merge "1.1 Translator: fix bug in glDeleteTexture"