am 11cf6296: am 435437b2: am 4ca8cd85: Merge "1.1 Translator: fix bug in glDeleteTexture"

* commit '11cf6296136ee03636f96371bf831a91aa42a123':
  1.1 Translator: fix bug in glDeleteTexture