On Mon, 31 Oct 2022 at 09:19, Warner Losh <i...@bsdimp.com> wrote: > > > > On Mon, Oct 31, 2022, 4:34 AM Stefan Hajnoczi <stefa...@gmail.com> wrote: >> >> On Fri, 28 Oct 2022 at 13:46, Warner Losh <i...@bsdimp.com> wrote: >> > >> > The following changes since commit >> > 344744e148e6e865f5a57e745b02a87e5ea534ad: >> > >> > Merge tag 'dump-pull-request' of >> > https://gitlab.com/marcandre.lureau/qemu into staging (2022-10-26 10:53:49 >> > -0400) >> > >> > are available in the Git repository at: >> > >> > ssh://g...@github.com/qemu-bsd-user/qemu-bsd-user.git >> > tags/imp-202210-pull-request >> >> Hi Warner, >> Please use https://github.com/qemu-bsd-user/qemu-bsd-user.git instead >> of an ssh URL. That way anonymous fetching works for people without >> GitHub accounts. Thanks! > > > > Will do in the future. It's trivial to convert. Do I need to resubmit this > pull request for something so trivial?
No, that's not necessary. I have already merged it into the staging branch. Thanks! Stefan
