On 21/10/17 01:07, sandra koroniewska wrote:
Is this fix alright now? If so, can anyone push please?
Pushed. Thanks for the patch! _______________________________________________ Piglit mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/piglit
