[commit: ghc] branch 'decision-procedure' deleted
git at git.haskell.org
git at git.haskell.org
Mon May 12 13:19:57 UTC 2014
Repository : ssh://git@git.haskell.org/ghc
Deleted branch: decision-procedure
More information about the ghc-commits
mailing list