ryan.gl.scott at gmail.com
Mon Jun 22 10:34:53 UTC 2020
Just as an FYI, there appears to be some data loss from this migration. For
example, I pushed a commit to !3536  that appears to have been dropped,
leading to confusion here . To make things worse, I never received an
e-mail notification for this comment—I only discovered it by chance.
I also opened an issue about FUN, but that appears to have been lost. I
could try to resubmit it, but perhaps the data still exists somewhere on
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs