On 06/04/2012 11:37 AM, Pauli Nieminen wrote:
> On Sat, Jun 02, 2012 at 12:56:49PM -0700, Kenneth Graunke wrote:
>> Pauli, do you plan on pushing this, or should I?
> 
> It probably takes some time until I arrange my ssh keys for
> git.freedesktop.org.
> 
> If you want to push it before that, please do so.
> 
> I pushed the whitespace fixed patch to my repo
> git://people.freedesktop.org/~suokko/piglit [shared_piglit_util]
> 
> Pauli

Ah.  Pushed then.  Thanks!
_______________________________________________
Piglit mailing list
[email protected]
http://lists.freedesktop.org/mailman/listinfo/piglit

Reply via email to