On Tue, Mar 05, 2019 at 16:01:45 +, Peter Maydell wrote:
> On Tue, 5 Mar 2019 at 15:01, Richard Henderson
> wrote:
> >
> > This is Emilio's v7, unchanged, so I'm not re-posting the 73 patches.
> >
> > I also didn't want to add Signed-off-by to 73 patches, so I verified
> > that there was nothi
On Tue, 5 Mar 2019 at 15:01, Richard Henderson
wrote:
>
> This is Emilio's v7, unchanged, so I'm not re-posting the 73 patches.
>
> I also didn't want to add Signed-off-by to 73 patches, so I verified
> that there was nothing on Emilio's branch that shouldn't be there and
> then used git-merge -S
This is Emilio's v7, unchanged, so I'm not re-posting the 73 patches.
I also didn't want to add Signed-off-by to 73 patches, so I verified
that there was nothing on Emilio's branch that shouldn't be there and
then used git-merge -S --signoff.
r~
The following changes since commit 0984a157c1c05
