am 4ca8cd85: Merge "1.1 Translator: fix bug in glDeleteTexture"

* commit '4ca8cd85821b42fd40e88b45195f7d8a23062276':
  1.1 Translator: fix bug in glDeleteTexture