Skip to content

Conversation

@jan-petr
Copy link
Contributor

@jan-petr jan-petr commented Dec 5, 2022

Linked issue

#1256

@jan-petr jan-petr self-assigned this Dec 5, 2022
@jan-petr jan-petr linked an issue Dec 5, 2022 that may be closed by this pull request
3 tasks
Copy link
Contributor

@maartenhammer maartenhammer left a comment

Choose a reason for hiding this comment

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

Approved after inquiring about line 666 in mergeNifty, It is correct as a ||.

@jan-petr jan-petr merged commit 637df4e into develop Dec 5, 2022
@jan-petr jan-petr deleted the bug-#1256_flavorIssues branch December 5, 2022 14:52
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.

Flavor test issues

3 participants