Skip to content

Safety analysis checks superinterfaces (in addition to superclasses)#2267

Merged
bulldozer-bot[bot] merged 2 commits into
developfrom
ckozak/superinterfaces
May 12, 2022
Merged

Safety analysis checks superinterfaces (in addition to superclasses)#2267
bulldozer-bot[bot] merged 2 commits into
developfrom
ckozak/superinterfaces

Commits

Commits on May 12, 2022