Hello GHC developers,For security reasons we have rotated Marge-Bot's SSH key. If you notice any issues that could have been caused by this change, please do not hesitate to reach out.
Best Magnus _______________________________________________ ghc-devs mailing list -- [email protected] To unsubscribe send an email to [email protected]
