| commit | e63098c0913e34223a87a5a95d346c39e0c3e0d7 | [log] [tgz] |
|---|---|---|
| author | Jon Leech <devrel@oddhack.org> | Mon May 13 18:30:52 2019 -0700 |
| committer | GitHub <noreply@github.com> | Mon May 13 18:30:52 2019 -0700 |
| tree | 0d664b93846c85d2a68398f36840edec0b63ac0e | |
| parent | 53a701dc7495cff7beb5a99616b97402275c6204 [diff] | |
| parent | 674c14ada9ea62cc6da090158f566d9708ab559a [diff] |
Merge pull request #271 from KhronosGroup/fix-extnums Fix noncontiguous extension numbering