Re: What's up with pull request buildbots?

[Joseph Rushton Wakeling]

On 06/05/2013 07:06 PM, Jonathan M Davis wrote:
> Probably because another commit was merged into dmd, druntime, or Phobos, so 
> it had to start again.

Ahh, OK.  Thanks to you and Brad for the clarification! :-)