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

Please fix bad merge from #801 #804

Closed
stevvooe opened this issue Jul 31, 2015 · 3 comments · Fixed by #805
Closed

Please fix bad merge from #801 #804

stevvooe opened this issue Jul 31, 2015 · 3 comments · Fixed by #805
Assignees
Milestone

Comments

@stevvooe
Copy link
Collaborator

Several edits were made to an autogenerated file which will be lost on update. Comments are inline on the #801.

@aaronlehmann
Copy link
Contributor

Oops, assignment collision.

@stevvooe
Copy link
Collaborator Author

@aaronlehmann You;re welcome to take it...

@aaronlehmann
Copy link
Contributor

OK, taking.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants