Do not pull master!! I think, I messed up terribly by making a "force" git push into master. As a result, the commit history since 21 august was lost.
Could someone, please, restore the history by push a right commit history since then. I am very sorry for this. Ilya Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm
_______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
