Version 0.25
·
8 commits
to master
since this release
- Fix error reporting on Github so errors aren't reported twice
- Improve/fix error suppressing
- Accept the profile root as an id if the Validator doesn't report line and col numbers