> It looks like you failed to pull the latest change on that branch.

We must have overlapped.  I had pulled very shortly before building, but
it was a little while later that I made the report, presumably after you
already fixed it.