Re: [Mesa-dev] [PATCH 1/2] mapi: Update extension number of MESA_tile_raster_order.

2017-10-12 Thread Kenneth Graunke
On Wednesday, October 11, 2017 10:04:22 AM PDT Eric Anholt wrote: > --- > src/mapi/glapi/gen/MESA_tile_raster_order.xml | 3 +-- > 1 file changed, 1 insertion(+), 2 deletions(-) > > diff --git a/src/mapi/glapi/gen/MESA_tile_raster_order.xml > b/src/mapi/glapi/gen/MESA_tile_raster_order.xml > ind

[Mesa-dev] [PATCH 1/2] mapi: Update extension number of MESA_tile_raster_order.

2017-10-11 Thread Eric Anholt
--- src/mapi/glapi/gen/MESA_tile_raster_order.xml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/mapi/glapi/gen/MESA_tile_raster_order.xml b/src/mapi/glapi/gen/MESA_tile_raster_order.xml index a1f0cb89bee4..7cc73ca4b025 100644 --- a/src/mapi/glapi/gen/MESA_tile_raster_o