GitHub Mirror is broken
a.pelenitsyn at gmail.com
Tue Feb 19 03:37:16 UTC 2019
This is just to let you know that the latestes commit on GitHub ghc/ghc
repo dates back to 22th of January. Personally, I find GitHub mirror quite
useful for ocasional searches over the code base. Therefore, I'd
appreciated repairing the mirror.
Best of luck,
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs