Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
`superfluous_disable_command` overrides `disable all` #2670
With the following code...
If my guess that this is a bug is right, I'd be happy to push a fix.
I'd say this is a bug, especially if I try to think of when I'd want to use
@fredpi you have my full support if you'd like to fix this