> 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
