Re: [PATCH] xen: xenbus_dev.h: delete incorrect file name

2022-02-04 Thread Juergen Gross
On 30.01.22 20:17, Randy Dunlap wrote: It is better/preferred not to include file names in source files because (a) they are not needed and (b) they can be incorrect, so just delete this incorrect file name. Signed-off-by: Randy Dunlap Pushed to xen/tip.git for-linus-5.17a Juergen OpenPG

Re: [PATCH] xen: xenbus_dev.h: delete incorrect file name

2022-01-31 Thread Randy Dunlap
On 1/30/22 22:46, Juergen Gross wrote: > On 30.01.22 20:17, Randy Dunlap wrote: >> It is better/preferred not to include file names in source files >> because (a) they are not needed and (b) they can be incorrect, >> so just delete this incorrect file name. >> >> Signed-off-by: Randy Dunlap >>

Re: [PATCH] xen: xenbus_dev.h: delete incorrect file name

2022-01-30 Thread Juergen Gross
On 30.01.22 20:17, Randy Dunlap wrote: It is better/preferred not to include file names in source files because (a) they are not needed and (b) they can be incorrect, so just delete this incorrect file name. Signed-off-by: Randy Dunlap Cc: Boris Ostrovsky Cc: Juergen Gross Cc: Stefano Stabell