KhronosGroup/WebGL — pull request #741 by bjacob (2014-10-09 18:43:08+00:00)
Title: minor fixes

Trivial enough to merge myself, I think.

The only interesting part is the one about the RGB_11_11_10 encoding, which was only accidentally working before, as I didn't properly understand how that format worked.