Skip to content

Add support for +RTS/-RTS flags from GHC#65

Merged
rtfeldman merged 1 commit intortfeldman:masterfrom antew:masterFeb 13, 2018