Skip to content

Conversation

@vtjnash
Copy link
Member

@vtjnash vtjnash commented Sep 19, 2016

Reverts #16986 because it broke the build.

@tkelman
Copy link
Contributor

tkelman commented Sep 19, 2016

doesn't #18580 fix this, making reverting unnecessary?

@vtjnash
Copy link
Member Author

vtjnash commented Sep 19, 2016

This should have been done 18 hours ago.

@tkelman
Copy link
Contributor

tkelman commented Sep 19, 2016

Sure. But it wasn't.

@martinholters
Copy link
Member

If #18580 passes CI in its current form, I am in favour of merging that one rather than reverting.

@vtjnash
Copy link
Member Author

vtjnash commented Sep 19, 2016

OK, I see that's been updated and lgtm

@vtjnash vtjnash closed this Sep 19, 2016
@vtjnash vtjnash deleted the revert-16986-pz/broadcast branch September 19, 2016 17:47
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