Hi Dieter, On 18 March 2018 at 00:48, Dieter Nützel <die...@nuetzel-hh.de> 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 mesa-dev@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/mesa-dev
