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

fix version check as with previous PR #235

Merged
merged 1 commit into from
Jul 27, 2021
Merged

fix version check as with previous PR #235

merged 1 commit into from
Jul 27, 2021

Conversation

ZacLN
Copy link
Contributor

@ZacLN ZacLN commented Jul 27, 2021

Fixes #.

For every PR, please check the following:

@ZacLN ZacLN requested a review from a team July 27, 2021 13:30
Copy link
Member

@davidanthoff davidanthoff left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this go in for the release we plan to do tomorrow?

@davidanthoff davidanthoff merged commit ae5c71b into master Jul 27, 2021
@davidanthoff davidanthoff deleted the ZacLN-patch-1 branch July 27, 2021 14:41
@ZacLN
Copy link
Contributor Author

ZacLN commented Jul 27, 2021

Yes

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