[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