1 Apr
2019
1 Apr
'19
12:27 a.m.
Thanks! Manuel
Am 31.03.2019 um 17:09 schrieb Ben Gamari <ben@well-typed.com>:
Manuel M T Chakravarty <chak@justtesting.org> writes:
I think, it also only mirrors master, but not other branches, which is unfortunate especially for release branches.
Fixed on both counts. The GitHub mirror should be both up-to-date and include all branches.
Cheers,
- Ben
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs