[Mesa-dev] [PATCH 08/59] mapi: Add support for ARB_gpu_shader_int64.

[Ian Romanick]

On 10/26/2016 01:20 PM, Matt Turner wrote:
> On Tue, Oct 25, 2016 at 5:59 PM, Ian Romanick <idr at freedesktop.org> wrote:
>> +<!-- ARB extension 178 -->
> 
> These comments were placeholders for unimplemented extensions, until
> recently when people began adding them before the actual extension
> with that number. I think the comment should be dropped since int64 is
> #178.

That does seem to be the prevailing method.  That does make it a bit
annoying to figure out where to put things (or know whether they're in
the correct order), but that's probably not that big of an issue.

I'll change it.

>> +<xi:include href="ARB_gpu_shader_int64.xml" xmlns:xi="http://www.w3.org/2001/XInclude"/>
>> +
>>  <!-- Non-ARB extensions sorted by extension number. -->
>