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
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs
