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.

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

Move to kosmorrolib #162

Merged
merged 1 commit into from May 8, 2021
Merged

Move to kosmorrolib #162

merged 1 commit into from May 8, 2021

Conversation

Deuchnord
Copy link
Member

Q A
Bug fix? no
New feature? yes
Related issues Fix #158
Has BC-break yes
License GNU CeCILL

Checklist:

  • I have updated the manpages

@Deuchnord Deuchnord added the enhancement New feature or request label Apr 5, 2021
@Deuchnord Deuchnord self-assigned this Apr 5, 2021
@coveralls
Copy link

coveralls commented Apr 5, 2021

Coverage Status

Coverage decreased (-90.4%) to 0.0% when pulling 2159725 on move-to-kosmorrolib into 4496cc2 on features.

@Deuchnord Deuchnord force-pushed the move-to-kosmorrolib branch 9 times, most recently from 605fdbc to 7114268 Compare April 10, 2021 17:10
@Deuchnord Deuchnord force-pushed the move-to-kosmorrolib branch 5 times, most recently from b047198 to 69339be Compare April 24, 2021 16:10
@Deuchnord Deuchnord force-pushed the move-to-kosmorrolib branch 11 times, most recently from 67aaaec to 673047c Compare May 5, 2021 12:17
@Deuchnord Deuchnord force-pushed the move-to-kosmorrolib branch 2 times, most recently from b614638 to a569575 Compare May 8, 2021 15:45
@Deuchnord Deuchnord force-pushed the move-to-kosmorrolib branch 2 times, most recently from 4786bf2 to f936196 Compare May 8, 2021 15:53
@Deuchnord Deuchnord marked this pull request as ready for review May 8, 2021 15:58
@Deuchnord Deuchnord merged commit 58e49a4 into features May 8, 2021
@Deuchnord Deuchnord deleted the move-to-kosmorrolib branch May 8, 2021 15:59
Deuchnord pushed a commit that referenced this pull request May 12, 2021
Deuchnord pushed a commit that referenced this pull request May 12, 2021
Deuchnord added a commit that referenced this pull request May 12, 2021
Deuchnord added a commit that referenced this pull request May 15, 2021
Deuchnord added a commit that referenced this pull request May 15, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants