Skip to content

Conversation

@mdkinney
Copy link
Member

@mdkinney mdkinney commented Nov 5, 2019

No description provided.

@mergify
Copy link

mergify bot commented Nov 5, 2019

PR can not be merged due to an Ubuntu GCC5 failure. Please resolve and resubmit

1 similar comment
@mergify
Copy link

mergify bot commented Nov 5, 2019

PR can not be merged due to an Ubuntu GCC5 failure. Please resolve and resubmit

@mergify
Copy link

mergify bot commented Nov 5, 2019

PR can not be merged due to a Windows VS2019 failure. Please resolve and resubmit

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.

1 participant