On Tue, Feb 02, 2021 at 11:31:17AM +0300, Dan Carpenter wrote: > Apparently this was already merged? Never mind then. Once it's merged > it can't be changed. No big stress... Sorry, yes, already in my tree... _______________________________________________ devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxx http://driverdev.linuxdriverproject.org/mailman/listinfo/driverdev-devel
