On 09/01/19 00:51, Peter Maydell wrote:
> On Tue, 8 Jan 2019 at 18:23, Paolo Bonzini wrote:
>>
>> The following changes since commit 147923b1a901a0370f83a0f4c58ec1baffef22f0:
>>
>> Merge remote-tracking branch
>> 'remotes/kraxel/tags/usb-20190108-pull-request' into staging (2019-01-08
>> 16:07
On Tue, 8 Jan 2019 at 18:23, Paolo Bonzini wrote:
>
> The following changes since commit 147923b1a901a0370f83a0f4c58ec1baffef22f0:
>
> Merge remote-tracking branch
> 'remotes/kraxel/tags/usb-20190108-pull-request' into staging (2019-01-08
> 16:07:32 +)
>
> are available in the Git reposito
On 19/12/18 15:33, Peter Maydell wrote:
> PS: can the colorization be disabled? Grepping logfiles for
> ERROR, FAIL, etc doesn't work in the presence of colour
> escape sequences...
Oh interesting that it didn't grep fine for you, it seemed to be okay here.
I added it because "make -O" uses a pip
On Mon, 17 Dec 2018 at 23:23, Paolo Bonzini wrote:
>
> The following changes since commit 0f98c9945899c5dfacd5a410ff04178eda605a16:
>
> Merge remote-tracking branch
> 'remotes/huth-gitlab/tags/pull-request-2018-12-12' into staging (2018-12-14
> 10:19:47 +)
>
> are available in the Git repo