Skip to content

Conversation

@tooomm
Copy link
Contributor

@tooomm tooomm commented Sep 22, 2021

Taken from #119

@Psithief
Copy link
Contributor

Will merge after merging #114

@Psithief Psithief self-assigned this Sep 22, 2021
@tooomm
Copy link
Contributor Author

tooomm commented Sep 22, 2021

I think you should merge this first.

The big PR adds many new lines and might lead to merge conflicts here.

@Psithief Psithief merged commit 9042752 into master Sep 22, 2021
@Psithief
Copy link
Contributor

The big PR had other problems but we got it resolved via the command-line.

@tooomm tooomm deleted the tooomm-count branch September 22, 2021 14:59
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