On Thu, 05 Jan 2017 at 00:29:35 +0000, Santiago Vila wrote: > Note 1: It seems that the build is creating snapshots for the documentation, > and there is another bug (#836100) requesting a slightly different way to > take snapshots. Would fixing #836100 help to fix this one?
I can't see how it would help. I'm reasonably sure #836100 is not the
root cause of an intermittent build failure.
S
