Can't push to haddock

Phyx lonetiger at
Tue Dec 19 11:47:29 UTC 2017

Cool, then let's turn to media reports then such as
do you have one for going down?

On Tue, Dec 19, 2017, 10:56 Sven Panne <svenpanne at> wrote:

> 2017-12-19 11:07 GMT+01:00 Phyx <lonetiger at>:
>> These are just a few of the times github has been down in 2017
>> compared to
>> [...]
> I can't see any data for on that page, apart from the fact
> that it is up right now. Furthermore, I very much question the data on
> According to it, Google, Facebook, YouTube, Yahoo! and
> Amazon were down on March 25th for roughly an hour. A much more probable
> explanation: had problems, not the five of the biggest
> sites in the world. This undermines the trust in the rest of the outage
> reports a bit...
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list