Skip to content
This repository has been archived by the owner on Jul 10, 2023. It is now read-only.

Missing types #179

Open
demurgos opened this issue Dec 3, 2017 · 2 comments
Open

Missing types #179

demurgos opened this issue Dec 3, 2017 · 2 comments

Comments

@demurgos
Copy link

demurgos commented Dec 3, 2017

Hi,
I am trying to find some types and I am not sure if they are missing or if I just can't find them.
I am looking for:
@jdm
Copy link
Member

jdm commented Dec 4, 2017

These types are indeed missing.

@demurgos
Copy link
Author

demurgos commented Dec 4, 2017

Thanks, I'll try to send a PR then.

This was referenced Feb 1, 2018
Closed
Open
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jdm @demurgos