Thanks! Manuel > Am 31.03.2019 um 17:09 schrieb Ben Gamari <b...@well-typed.com>: > > Manuel M T Chakravarty <c...@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
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
