Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

folly 2018.11.26.00 #34718

Closed
wants to merge 2 commits into from
Closed

Conversation

Moisan
Copy link
Member

@Moisan Moisan commented Dec 2, 2018

Created with brew bump-formula-pr.

@Moisan
Copy link
Member Author

Moisan commented Dec 2, 2018

Only fails on Sierra with an error known upstream.

@Moisan Moisan added the upstream issue An upstream issue report is needed label Dec 3, 2018
@stale
Copy link

stale bot commented Dec 24, 2018

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs.

@stale stale bot added the stale No recent activity label Dec 24, 2018
@stale stale bot closed this Dec 31, 2018
@Moisan Moisan added the not merged PR was closed without being merged (and may need to be revisited) label Jan 1, 2019
@lock lock bot added the outdated PR was locked due to age label Jan 31, 2019
@lock lock bot locked as resolved and limited conversation to collaborators Jan 31, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
not merged PR was closed without being merged (and may need to be revisited) outdated PR was locked due to age stale No recent activity upstream issue An upstream issue report is needed
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant