Skip to content

Conversation

@ardeois
Copy link
Owner

@ardeois ardeois commented Oct 13, 2020

No description provided.

@ardeois ardeois added the skip-release Preserve the current version when merged label Oct 13, 2020
@ardeois ardeois merged commit a85a7b0 into master Oct 13, 2020
@ardeois ardeois deleted the fix/codeql branch October 13, 2020 14:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip-release Preserve the current version when merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants