Re: Aargh! Windows build is broken AGAIN

Simon Peyton Jones via ghc-devs writes:

I really wish I did not have to be the Windows integration server.

Indeed; I sadly had to disable the Windows build bot for the time being but I'll have a look at fixing it this weekend. The end to your misery is in sight! Cheers, - Ben