Skip to content

Add State Type#7

Merged
ChristianRimondi merged 4 commits intomasterfrom
state-type
Sep 20, 2019
Merged

Add State Type#7
ChristianRimondi merged 4 commits intomasterfrom
state-type

Conversation

@AlessioRocco
Copy link
Copy Markdown
Contributor

No description provided.

@AlessioRocco AlessioRocco self-assigned this Sep 6, 2019
@ChristianRimondi ChristianRimondi marked this pull request as ready for review September 20, 2019 10:50
@ChristianRimondi ChristianRimondi merged commit 55bc95e into master Sep 20, 2019
@ChristianRimondi ChristianRimondi deleted the state-type branch September 20, 2019 11:08
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