9 May
2013
9 May
'13
12:40 p.m.
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