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

Michael S. Tsirkin
2023-05-10T16:12:15Z

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

Thanks a lot, I will fold your patchset in when applying.