Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Respect options(warn = -1), fixes #958 #959
OK well the fix in this PR at least fixes the reporter problem about uncaught warnings. So I think it's definitely an improvement, and maybe it can be merged?
I'll remove the test, because this actually tests something else than the reporter issue, namely if