Re: [Qemu-devel] [PULL 00/35] Misc patches for 2018-12-18

2019-01-09 Thread Paolo Bonzini
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

Re: [Qemu-devel] [PULL 00/35] Misc patches for 2018-12-18

2019-01-08 Thread Peter Maydell
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

Re: [Qemu-devel] [PULL 00/35] Misc patches for 2018-12-18

2018-12-19 Thread Paolo Bonzini
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

Re: [Qemu-devel] [PULL 00/35] Misc patches for 2018-12-18

2018-12-19 Thread Peter Maydell
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