SemanticDiff rutie
d7521023 - Make `Option<VerifiedObject>` a `VerifiedObject`

Loading