Re: [PATCH v4 01/15] PCI: Sort Intel PCI IDs by number

On Mon, Jul 17, 2023 at 01:44:57PM +0200, Amadeusz Sławiński wrote:

Some of the PCI IDs are not sorted correctly, reorder them by growing ID number.

Hmm... I don't see a cover letter...