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

Gabor Greif ggreif at gmail.com
Tue Feb 5 16:16:09 CET 2013


Hi Ian!

I did
$ (cd libraries/random; git remote set-branches --add origin ghc-head)
$ ./sync-all pull

that fixed it.

Trying your suggestion:

$ mv libraries/random libraries/random-keep
$ ./sync-all get
...
== running git submodule init
== running git submodule update


More information about the ghc-devs mailing list