Hi Simon,
On Thu, May 09, 2013 at 12:31:22PM +0000, Simon Peyton-Jones wrote:
> Afraid not. I'd tried "git submodule update". The command you give is a no-op; libraries/Cabal is stuck on commit 14c5a3f; and that's what git submodule status says it should be. But it shouldn't!
What does
git log -p libraries/Cabal
say?
Thanks
Ian