On Wed, 20 Apr 2022, Greg Kroah-Hartman wrote: > > > As per the top of this file, this should not be needed here as you are > > > only using it in one file. Please leave it as-is. > > > > I find this requirement silly, but here it's not the place to discuss it, > > You have not had to deal with merge issues in this file before. Think > about every single PCI driver author updating this single file. That > just does not work at the scale we run at, sorry. I put this rule into > place 15+ years ago for that reason. Fair enough, I missed this practical aspect. Thanks for straightening me out. Maciej
