Skip to content

Conversation

flovogt
Copy link
Member

@flovogt flovogt commented Oct 25, 2022

No description provided.

@coveralls
Copy link

coveralls commented Oct 25, 2022

Coverage Status

Coverage remained the same at 86.971% when pulling 3860616 on branch-renaming into 1722d71 on next.

@flovogt flovogt changed the base branch from next to main November 3, 2022 13:22
@flovogt flovogt closed this Nov 3, 2022
@flovogt flovogt deleted the branch-renaming branch November 3, 2022 14:10
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