On Tue, 12 Jan 2021 at 21:23, Peter Maydell wrote:
>
> v2: drop the 'merge the manuals' patch: it breaks the gitlab job which tries
> to publish the docs on gitlab, and I also realised I forgot to update the
> Windows installer scripts.
>
> -- PMM
>
> The following changes since commit
v2: drop the 'merge the manuals' patch: it breaks the gitlab job which tries
to publish the docs on gitlab, and I also realised I forgot to update the
Windows installer scripts.
-- PMM
The following changes since commit b3f846c59d8405bb87c551187721fc92ff2f1b92:
Merge remote-tracking branch
Forgot to add system/index to docs/index.rst (one line tweak).
Rest of series same as v1.
The following changes since commit b7c359c748a2e3ccb97a184b9739feb2cd48de2f:
Merge remote-tracking branch
'remotes/vivier2/tags/linux-user-for-5.0-pull-request' into staging (2020-01-23
14:38:43 +)