Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fixed it with a better (i.e less expensive) check which I had origina…
…lly suggested Ig this is partly my fault, but its fixed now
- Loading branch information