Skip to content

Add missing import Data.Proxy#34

Open
freizl wants to merge 1 commit intoisovector:masterfrom
freizl:master
Open

Add missing import Data.Proxy#34
freizl wants to merge 1 commit intoisovector:masterfrom
freizl:master

Conversation

@freizl
Copy link

@freizl freizl commented Sep 8, 2022

No description provided.

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.

2 participants