Re: [Qemu-devel] [PULL 00/40] ppc-for-4.0 queue 20181221

2019-01-03 Thread Cédric Le Goater
[ ... ] > Please update the changelog at https://wiki.qemu.org/ChangeLog/4.0 > for any user-visible changes. Are the machine properties documented any where else than in "-machine pseries,?" ? Thanks, C.

Re: [Qemu-devel] [PULL 00/40] ppc-for-4.0 queue 20181221

2018-12-26 Thread no-reply
00/40] ppc-for-4.0 queue 20181221 === TEST SCRIPT BEGIN === #!/bin/bash BASE=base n=1 total=$(git log --oneline $BASE.. | wc -l) failed=0 git config --local diff.renamelimit 0 git config --local diff.renames True git config --local diff.algorithm histogram commits="$(git log --format=%H --re

Re: [Qemu-devel] [PULL 00/40] ppc-for-4.0 queue 20181221

2018-12-21 Thread Peter Maydell
On Fri, 21 Dec 2018 at 05:46, David Gibson wrote: > > The following changes since commit 95de6f4b92efea391a3cbb8651d774a4d3529861: > > Merge remote-tracking branch 'remotes/armbru/tags/pull-misc-2018-12-20' > into staging (2018-12-20 18:54:47 +) > > are available in the Git repository at: >

[Qemu-devel] [PULL 00/40] ppc-for-4.0 queue 20181221

2018-12-20 Thread David Gibson
The following changes since commit 95de6f4b92efea391a3cbb8651d774a4d3529861: Merge remote-tracking branch 'remotes/armbru/tags/pull-misc-2018-12-20' into staging (2018-12-20 18:54:47 +) are available in the Git repository at: git://github.com/dgibson/qemu.git tags/ppc-for-4.0-20181221