Added history entry for assignment of number to WEBGL_compressed_texture_etc1.
Merge pull request #433 from kenrussell/etc-history

Added history entry for assignment of number to WEBGL_compressed_texture...