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

Download 72.patch
no initial comment

rebased onto 0395ae66789a9d69b67dfda29fbabd214c44c66e

Pull-Request has been merged by sgallagh

Metadata