Skip to content

Conversation

@michaelandrepearce
Copy link
Contributor

No description provided.

@asfgit asfgit closed this in 0cf29fe Feb 23, 2019
@clebertsuconic
Copy link
Contributor

@michaelandrepearce if you're merging your own commit on a small thing, there's no need to send a PR.. just send the commit directly.

Unless you want to make sure it's not breaking the build through the PR CI.

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