Skip to content

Merge pull request #1315 from vadi2/fix-show-inherited-invariants #2679

Merge pull request #1315 from vadi2/fix-show-inherited-invariants

Merge pull request #1315 from vadi2/fix-show-inherited-invariants #2679