Re: GHC HEAD documentation once again available

Thanks for the explanation. I was able to access the URL. Thank you, Takenobu On Mon, Apr 1, 2019 at 2:55 AM Ben Gamari wrote:

Takenobu Tani writes:

...

Thank you for the useful link.

It may not be related to this, but the following URL is not displayed correctly.

Thanks for pointing this out. This was due to a configuration mistake which I had fixed, but apparently the CDN hadn't caught up. I have purged the affected URL from the CDN so things should be fine now.

Unfortunately there is no easy way to do a more comprehensive purge so if there are any other affected URLs we will simply need to purge them as we find them.

Cheers,

- Ben