SemanticDiff rutie
Make `Option<VerifiedObject>` a `VerifiedObject`
#127
Merged

Make `Option<VerifiedObject>` a `VerifiedObject` #127

danielpclark merged 1 commit into danielpclark:develop from add-option-as-verified-object
pwoolcoc
Make `Option<VerifiedObject>` a `VerifiedObject`
d7521023
danielpclark
danielpclark approved these changes on 2020-08-27
danielpclark danielpclark changed the base branch from master to develop 4 years ago
danielpclark
danielpclark danielpclark merged d7c6f31f into develop 4 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone