It only got "stricter" because lots of bugs have been fixed, previously it wasn't really sound, now it is (to the best of my knowledge).
- Nim v2 and gcsafe mildred
- Nim v2 and gcsafe Araq
- Nim v2 and gcsafe mildred
It only got "stricter" because lots of bugs have been fixed, previously it wasn't really sound, now it is (to the best of my knowledge).