Hi Dieter, On 18 March 2018 at 00:48, Dieter Nützel <[email protected]> wrote: > @ least, here fromm Germany. > > https://patchwork.freedesktop.org/ > Server Error (500)
This is fixed now, and I think that particular problem shouldn't happen again. Cheers, Daniel _______________________________________________ mesa-dev mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/mesa-dev
