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

* commit '435437b223b5b1c307ee0b283685c07cd796031f':
  1.1 Translator: fix bug in glDeleteTexture