Skip to content
This repository was archived by the owner on Apr 23, 2021. It is now read-only.

Missed one rename from Final API PR #38

Merged
merged 1 commit into from
Sep 30, 2020

Conversation

ktoso
Copy link
Collaborator

@ktoso ktoso commented Sep 30, 2020

So we actually agreed on the type name in discussions but forgot to reflect this agreement in the PR -- #34

This should be the 0.5.0 @slashmo -- would you be ok to remove the tag (noone depended on it so far and this is a WIP repo anyway) and tag this after merging?

This causes the "module is same as the type" issue, but I'm working on figuring out an answer to that.

@ktoso ktoso requested a review from slashmo September 30, 2020 16:53
@slashmo slashmo self-assigned this Sep 30, 2020
@slashmo slashmo added this to the 0.5.0 milestone Sep 30, 2020
@slashmo slashmo merged commit 24e244b into slashmo:main Sep 30, 2020
@ktoso ktoso deleted the wip-fix-to-align-with-final-proposal branch October 1, 2020 00:13
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants