Chris: If there's no further occurance of this bug in the last few weeks of CI runs, then probably this can be closed, but it'd be nice to know if this was ever tracked down to a specific root cause.
Chris: If there's no further occurance of this bug in the last few weeks of CI runs, then probably this can be closed, but it'd be nice to know if this was ever tracked down to a specific root cause.