4.132.0
·
753 commits
to develop
since this release
00b14dc
This commit was signed with the committer’s verified signature.
| Type | Description | Link |
|---|---|---|
| Improvement | Safety analysis checks superinterfaces (in addition to superclasses) | #2267 |