Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix: wrong enumeration with kallisto included #439

Merged
merged 5 commits into from
Jan 6, 2022
Merged

fix: wrong enumeration with kallisto included #439

merged 5 commits into from
Jan 6, 2022

Conversation

alethomas
Copy link
Collaborator

@alethomas alethomas commented Jan 3, 2022 •
edited
Loading

Description

Related Issue

Checklist

@alethomas alethomas changed the title fix: wromg enumeration with kallisto included fix: wrong enumeration with kallisto included Jan 3, 2022
@thomasbtf
Copy link
Contributor

@alethomas What do you think of this order?

@thomasbtf thomasbtf merged commit 1a68969 into master Jan 6, 2022
@thomasbtf thomasbtf deleted the fix-enumeration branch January 6, 2022 12:28
@github-actions github-actions bot mentioned this pull request Jan 6, 2022
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@thomasbtf thomasbtf thomasbtf approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@alethomas @thomasbtf