On 11 July 2018 at 20:14, Markus Armbruster wrote:
> The following changes since commit c447afd5783b9237fa51b7a85777007d8d568bfc:
>
> Update version for v3.0.0-rc0 release (2018-07-10 18:19:50 +0100)
>
> are available in the Git repository at:
>
> git://repo.or.cz/qemu/armbru.git tags/pull-mon
The following changes since commit c447afd5783b9237fa51b7a85777007d8d568bfc:
Update version for v3.0.0-rc0 release (2018-07-10 18:19:50 +0100)
are available in the Git repository at:
git://repo.or.cz/qemu/armbru.git tags/pull-monitor-2018-07-11
for you to fetch changes up to 42eab8dbec2f3fd