[commit: ghc] master: Add the new random commit again (6a46b46)

Ian Lynagh ian at well-typed.com
Tue Feb 5 15:56:53 CET 2013


Hi Gabor,

On Tue, Feb 05, 2013 at 03:23:11PM +0100, Gabor Greif wrote:
> 
> since you have pinned a commit that is on a branch, people whose
> clones do not track that branch will never see the commit:

As far as I can see it's working now. If you're still having problems,
does

    git pull
    rm -rf libraries/random
    ./sync-all get

fix it?


Thanks
Ian




More information about the ghc-devs mailing list