Manuel M T Chakravarty <[email protected]> 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
signature.asc
Description: PGP signature
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
