Skip to content

Conversation

@VincentDondain
Copy link
Contributor

No description provided.

@monojenkins
Copy link
Collaborator

Build success

@spouliot
Copy link
Contributor

Nice catch :) but let's save wrench 5 hours since it will be overwritten soon, i.e. I included it inside #3771 (15.7) which will be merged back to master later

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.

4 participants