PR #711 fix stubtest issue post-merge

fix stubtest issue post-merge #711

davidhewitt merged 2 commits into main from dh/stub-fixup

fix stubtest issue post-merge

c5f58b7f

adriangb approved these changes on 2023-06-28

fix clippy failure from #691 post-merge

1bd91984

davidhewitt enabled auto-merge (squash) 2 years ago

davidhewitt merged 54daab74 into main 2 years ago

davidhewitt deleted the dh/stub-fixup branch 2 years ago

Reviewers

adriangb

Assignees

No one assigned

Labels

None yet

Milestone

No milestone