## Security issue notifications

If you discover a potential security issue in this project we ask that you notify [the security contact](mailto:security@dafny.org). Please do **not** create a public github issue.
