Subject: Re: [pull request][net 00/16] mlx5 fixes 2022-10-14

From: Jakub Kicinski <[email-masked]>
Date: Mon, 17 Oct 2022 12:09:47 -0700

On Fri, 14 Oct 2022 16:46:21 -0700 Saeed Mahameed wrote:
> From: Saeed Mahameed <[email-masked]>
> 
> This series provides bug fixes to mlx5 driver.
> Please pull and let me know if there is any problem.

The patches didn't come out? The PR is marked as Accepted in patchwork,
although I don't see it in the tree...