On 21/07/2015 10:21, Peter Maydell wrote: >>> >> The ipxe changes are pushed to git://git.kraxel.org/ipxe (branch qemu, >>> >> tag qemu-2.4). They should be mirrored to git://git.qemu.org/ipxe.git >>> >> before merging this pull request. >> > >> > Is this supposed to happen automatically, or does somebody >> > need to manually do something for that to happen? > I need an answer to this question or this pull will miss rc2 :-(
Looks like it needs to be done manually. Paolo
