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 <rdun...@infradead.org>
Pushed to xen/tip.git for-linus-5.17a Juergen
OpenPGP_0xB0DE9DD628BF132F.asc
Description: OpenPGP public key
OpenPGP_signature
Description: OpenPGP digital signature