Re: [PATCH v13 00/10] Introduce device group and device management

[Jiri Pirko <jiri@nvidia.com>]

Wed, May 10, 2023 at 04:33:52PM CEST, parav@nvidia.com wrote:
>
>> 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.
>20230505163712.589460-1-parav@nvidia.com/">https://lore.kernel.org/virtio-comment/20230505163712.589460-1-parav@nvidia.com/
>
>You can use b4 now to get this patch.

Indeed, that helped. Thanks!