Re: [GHC] #9037: Add option to make selected warnings errors