Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix: export types from feed #136

Merged
merged 1 commit into from
Jan 22, 2021
Merged

fix: export types from feed #136

merged 1 commit into from
Jan 22, 2021

Conversation

gustavkj
Copy link
Contributor

@gustavkj gustavkj commented Dec 6, 2020

Closes: #128

Export types directly from feed. This way it's easier to access them.

@gustavkj gustavkj mentioned this pull request Dec 6, 2020
Closed
@coveralls
Copy link

Coverage Status

Coverage remained the same at 99.571% when pulling d69c46c on gustavkj:export-types-from-feed into 96c6aec on jpmonette:master.

@harmvandendorpel
Copy link

Would be great if this were merged!

@gustavkj gustavkj changed the title chore: export types from feed fix: export types from feed Jan 20, 2021
@gustavkj
Copy link
Contributor Author

@jpmonette What do you think? Is this read to be merged?

@jpmonette jpmonette merged commit 0a368ea into jpmonette:master Jan 22, 2021
@jpmonette
Copy link
Owner

All good, merged and will cut a new build. Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Export types in feed
4 participants
@gustavkj @coveralls @harmvandendorpel @jpmonette