Skip to content

fix!: number to integer in World and LimitedWorld#86

Merged
Foorack merged 1 commit intomainfrom
world-integer
Sep 26, 2021
Merged

fix!: number to integer in World and LimitedWorld#86
Foorack merged 1 commit intomainfrom
world-integer

Conversation

@Foorack
Copy link
Copy Markdown
Member

@Foorack Foorack commented Sep 26, 2021

Part of #63 effort

@Foorack Foorack added Type: Maintenance This will neither fix incorrectness nor add value, but is rather a project cleanup Priority: Low Low priority, this has least priority to be fixed labels Sep 26, 2021
@Foorack Foorack self-assigned this Sep 26, 2021
@Foorack Foorack merged commit 9652267 into main Sep 26, 2021
@Foorack Foorack deleted the world-integer branch September 26, 2021 12:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Priority: Low Low priority, this has least priority to be fixed Type: Maintenance This will neither fix incorrectness nor add value, but is rather a project cleanup

Development

Successfully merging this pull request may close these issues.

1 participant