Skip to content

Conversation

@fluhus
Copy link

@fluhus fluhus commented May 17, 2020

Finally COVID-19 work has shrunk and I am able to get back to bacteria.

This is the first out of a few PRs. Will send each PR after the previous one is concluded (mainly because I am bad at Git). Feel free to comment and request changes. No time pressure :)

#474

@fluhus
Copy link
Author

fluhus commented May 17, 2020

Now I see that it was taken care of in #386. I'll close this.

@fluhus fluhus closed this May 17, 2020
@fluhus fluhus deleted the commits_for_pr branch May 17, 2020 14:43
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.

1 participant