Re: What's up with pull request buildbots?

[Robert]

> Apologies. What's the number? I'll look into it as soon as I can.
> 
> Andrei

Wow, I have not anticipated this kind of reaction. Thanks a lot!

It can be found here:

https://github.com/D-Programming-Language/dmd/pull/1839

Best regards,

Robert