On Wed, 19 Feb 2020 at 17:56, Gurchetan Singh <[email protected]> wrote: > > Minor cleanup, change: > > - file_priv--> file, > - drm_file --> file. > > Signed-off-by: Gurchetan Singh <[email protected]> Reviewed-by: Emil Velikov <[email protected]>
-Emil _______________________________________________ dri-devel mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/dri-devel
