Skip to content

Conversation

@zbeekman
Copy link
Contributor

@zbeekman zbeekman commented Oct 9, 2019

Created with brew bump-formula-pr.

@zbeekman zbeekman added the ready to merge PR can be merged once CI is green label Oct 9, 2019
@zbeekman
Copy link
Contributor Author

zbeekman commented Oct 9, 2019

Tested locally on Mojave

@fxcoudert fxcoudert closed this in 77dbbf4 Oct 9, 2019
@lock lock bot added the outdated PR was locked due to age label Jan 7, 2020
@lock lock bot locked as resolved and limited conversation to collaborators Jan 7, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

outdated PR was locked due to age ready to merge PR can be merged once CI is green

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant