On Tue, Feb 28, 2017 at 9:06 AM, Gerd Hoffmann <kra...@redhat.com> wrote: > Our seabios.git mirror @ qemu.org seems to not sync properly. The > commit isn't there even though it was pushed a few days ago already > (only the tag was pushed today). John, can you have a look please? > master branch, *-stable branches and all tags should be mirrored.
Hi Gerd, It looks like the git mirrors weren't updating. I kicked it and the necessary commit is now in the QEMU seabios.git mirror repo. It should be safe to merge this pull request now. Stefan
