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

[Gabor Greif]

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