[virtio-dev] RE: [PATCH v13 00/10] Introduce device group and device management

Parav Pandit
2023-05-10T14:35:34Z

> From: Jiri Pirko <jiri@nvidia.com>
> Sent: Wednesday, May 10, 2023 10:30 AM

>
> Michael, not sure if it is problem of this patchset or on my side but makepdf
> fails to build this. With master branch, works fine.

This patch fixes it.
https://lore.kernel.org/virtio-comment/20230505163712.589460-1-parav@nvidia.com/

You can use b4 now to get this patch.