#71 [f30] set default profiles for ghc streams
Merged by sgallagh. Opened by petersen.
Unknown source f30

Download 71.patch
no initial comment

rebased onto 3fc8b619f0e8903733002345298e4918c1a3a4e5

Pull-Request has been merged by sgallagh

Metadata