Skip to content

Conversation

@dong77
Copy link
Contributor

@dong77 dong77 commented Aug 11, 2020

@Brechtpd I'd like to rename the enum to uppercases, but not sure if I should make the changes in State.py as in this PR.

@dong77 dong77 requested a review from Brechtpd August 11, 2020 05:01
@dong77 dong77 marked this pull request as ready for review August 11, 2020 05:02
@dong77 dong77 merged commit a17c881 into master Aug 12, 2020
@dong77 dong77 deleted the rename-enum branch August 12, 2020 00:26
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.

3 participants