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 Piglit@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/piglit