On Wed, 19 Feb 2020 at 17:56, Gurchetan Singh <gurchetansi...@chromium.org> wrote: > > Minor cleanup, change: > > - file_priv--> file, > - drm_file --> file. > > Signed-off-by: Gurchetan Singh <gurchetansi...@chromium.org> Reviewed-by: Emil Velikov <emil.veli...@collabora.com>
-Emil _______________________________________________ dri-devel mailing list dri-devel@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/dri-devel
