Skip to content

use Proxy interfaces#19

Merged
thusser merged 1 commit into
developfrom
mypy
Oct 22, 2021
Merged

use Proxy interfaces#19
thusser merged 1 commit into
developfrom
mypy

Conversation

@thusser
Copy link
Copy Markdown
Member

@thusser thusser commented Oct 22, 2021

No description provided.

@thusser thusser merged commit 0909e76 into develop Oct 22, 2021
@thusser thusser deleted the mypy branch October 22, 2021 10:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant