Thanks! Manuel > Am 31.03.2019 um 17:09 schrieb Ben Gamari <[email protected]>: > > 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 > > _______________________________________________ > ghc-devs mailing list > [email protected] > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
