[commit: ghc] branch 'wip/gadtpm' deleted

git at git.haskell.org git at git.haskell.org
Fri Apr 28 17:34:02 UTC 2017

Previous message: [commit: ghc] branch 'wip/generalized-arrow' deleted
Next message: [commit: ghc] branch 'wip/occname' deleted
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Repository : ssh://git@git.haskell.org/ghc

Deleted branch: wip/gadtpm

Previous message: [commit: ghc] branch 'wip/generalized-arrow' deleted
Next message: [commit: ghc] branch 'wip/occname' deleted
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the ghc-commits mailing list