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

Fix build errors. #11

Closed
wants to merge 1 commit into from
Closed

Fix build errors. #11

wants to merge 1 commit into from

Conversation

dmitshur
Copy link
Contributor

@dmitshur dmitshur commented Jul 9, 2016


Followup #8.

Fixes #12.

@dominikh
Copy link
Collaborator

Can you please split this into two PRs, one that just fixes the breakage, and one with your improvements and layout changes? Thanks.

@dmitshur
Copy link
Contributor Author

dmitshur commented Jul 10, 2016

Can I split it into 2 commits within this PR? Or do you really want 2 separate PRs?

@dominikh
Copy link
Collaborator

dominikh commented Jul 10, 2016

Make it two PRs, please. The fix for the breakage can likely be merged as is; the other changes may warrant discussion.

@dmitshur
Copy link
Contributor Author

dmitshur commented Jul 10, 2016

All right, sure. Give me a moment to do that.

Followup #8.

Fixes #12.
@dmitshur dmitshur changed the title Fix build errors, sync more of upstream, minor style improvements. Fix build errors. Jul 10, 2016
@dmitshur
Copy link
Contributor Author

PTAL.

@dominikh dominikh closed this in ffd5bdc Jul 10, 2016
@dominikh
Copy link
Collaborator

Thank you.

@dmitshur dmitshur deleted the fix-build branch July 10, 2016 02:37
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