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://git@github.com/qemu-bsd-user/qemu-bsd-user.git tags/imp-202210-pull-request

for you to fetch changes up to 41bf9322a0f8378b1194324cf7c6048253673046:

  bsd-user: Catch up with sys/param.h requirement for machine/pmap.h (2022-10-26 14:09:17 -0600)

----------------------------------------------------------------
bsd-user: 7.2 misc fixes

Light quarter: only one fix due to header file shuffling in FreeBSD

----------------------------------------------------------------

Muhammad Moinur Rahman (1):
  bsd-user: Catch up with sys/param.h requirement for machine/pmap.h

 bsd-user/host/i386/host-signal.h   | 1 +
 bsd-user/host/x86_64/host-signal.h | 1 +
 2 files changed, 2 insertions(+)

-- 
2.33.1

Applied, thanks.

Please update the changelog at https://wiki.qemu.org/ChangeLog/7.2 for any user-visible changes.

On Fri, 28 Oct 2022 at 13:46, Warner Losh <imp@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://git@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!

Stefan

On Mon, Oct 31, 2022, 4:34 AM Stefan Hajnoczi <stefanha@gmail.com> wrote:

> On Fri, 28 Oct 2022 at 13:46, Warner Losh <imp@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://git@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?

Warner

> Stefan
>

On Mon, 31 Oct 2022 at 09:19, Warner Losh <imp@bsdimp.com> wrote:
>
>
>
> On Mon, Oct 31, 2022, 4:34 AM Stefan Hajnoczi <stefanha@gmail.com> wrote:
>>
>> On Fri, 28 Oct 2022 at 13:46, Warner Losh <imp@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://git@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

On Mon, Oct 31, 2022 at 8:17 AM Stefan Hajnoczi <stefanha@gmail.com> wrote:

> On Mon, 31 Oct 2022 at 09:19, Warner Losh <imp@bsdimp.com> wrote:
> >
> >
> >
> > On Mon, Oct 31, 2022, 4:34 AM Stefan Hajnoczi <stefanha@gmail.com>
> wrote:
> >>
> >> On Fri, 28 Oct 2022 at 13:46, Warner Losh <imp@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://git@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!
>

Great! Thanks!

Warner