Update RTS flags (#613)
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Tue, 12 Jun 2018 10:19:52 +0000 (11:19 +0100)
committerGitHub <noreply@github.com>
Tue, 12 Jun 2018 10:19:52 +0000 (11:19 +0100)
commita63ad3294b5d51eec50d454810a314c0b2a696c7
treebdce62b70d9b4bbdf0c686d9dff1308a62b11fa7
parent8dba6748e84c632c3c0302620c3e62c9fcc3e948
Update RTS flags (#613)

* Update RTS flags

See #611

* More tweaks
src/Settings/Packages/Rts.hs