https://bugs.freedesktop.org/show_bug.cgi?id=54867
--- Comment #4 from Tom Stellard <tstel...@gmail.com> --- (In reply to comment #3) > So, still not pushed in today git, can someone push this small fix? I can push it if you provide an updated patch with a proper commit message. -- You are receiving this mail because: You are the assignee for the bug.
_______________________________________________ dri-devel mailing list dri-devel@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/dri-devel
