<div dir="auto">Hi Ben, <div dir="auto"><br></div><div dir="auto">It looks like the github mirror for ghc hasn't updated in a month.</div><div dir="auto"><br></div><div dir="auto">Kind regards, </div><div dir="auto">Tamar <br><br><div data-smartmail="gmail_signature" dir="auto">Sent from my Mobile</div></div></div>