@Robert: thanks! I've confirmed that a local rebuild now succeeds, and Matthias has done a retry on the archive rebuild. I'll watch that, but I think this issue is now resolved.
@Robert: thanks! I've confirmed that a local rebuild now succeeds, and Matthias has done a retry on the archive rebuild. I'll watch that, but I think this issue is now resolved.