Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Looks like it never worked, despite the machinery being there, as it expected a "no-worries" pragma to be set to a true value.
- Loading branch information