Make -rtsopts more flexible
The default is a new "some" state, which allows only known-safe flags that we want on by default. Currently this is only "--info".
Please register or sign in to comment
The default is a new "some" state, which allows only known-safe flags that we want on by default. Currently this is only "--info".