Hi Paolo,
On 01/15/2018 07:37 AM, Peter Maydell wrote:
> On 12 January 2018 at 13:42, Paolo Bonzini wrote:
>> I'll drop that patch.
>
> I'm assuming you'll send a new pull req cover letter email
> when you've done that (so this one is leaving my queue of
> things to do).
If you send an new PR c
On 12 January 2018 at 13:42, Paolo Bonzini wrote:
> I'll drop that patch.
I'm assuming you'll send a new pull req cover letter email
when you've done that (so this one is leaving my queue of
things to do).
thanks
-- PMM
Hi
On Fri, Jan 12, 2018 at 2:42 PM, Paolo Bonzini wrote:
> On 12/01/2018 14:31, Peter Maydell wrote:
>> On 12 January 2018 at 12:24, Paolo Bonzini wrote:
>>> The following changes since commit 997eba28a3ed5400a80f754bf3a1c8044b75b9ff:
>>>
>>> Merge remote-tracking branch
>>> 'remotes/pmaydell
On 12/01/2018 14:31, Peter Maydell wrote:
> On 12 January 2018 at 12:24, Paolo Bonzini wrote:
>> The following changes since commit 997eba28a3ed5400a80f754bf3a1c8044b75b9ff:
>>
>> Merge remote-tracking branch
>> 'remotes/pmaydell/tags/pull-target-arm-20180111' into staging (2018-01-11
>> 14:34
On 12 January 2018 at 12:24, Paolo Bonzini wrote:
> The following changes since commit 997eba28a3ed5400a80f754bf3a1c8044b75b9ff:
>
> Merge remote-tracking branch
> 'remotes/pmaydell/tags/pull-target-arm-20180111' into staging (2018-01-11
> 14:34:41 +)
>
> are available in the git repositor
