> Do you need someone to push it for you?

Yeah, I don't have push rights.

Thanks for the review, it didn't occur to me before to look at logs to
see what prefix is correct.

Martina
_______________________________________________
mesa-dev mailing list
mesa-dev@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/mesa-dev

Reply via email to