Pushed, thanks. Marek <div class="gmail_quote"> On Fri, Apr 8, 2011 at 12:45 PM, Fabian Bieler <<a href="mailto:der.fabe@gmx.net" target="_blank">der.fabe@gmx.net</a>> wrote: <blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;"> _______________________________________________ Piglit mailing list <a href="mailto:Piglit@lists.freedesktop.org" target="_blank">Piglit@lists.freedesktop.org</a> <a href="http://lists.freedesktop.org/mailman/listinfo/piglit" target="_blank">http://lists.freedesktop.org/mailman/listinfo/piglit</a> </blockquote></div>