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.

Sign up for GitHub

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

Jump to bottom

Do not ignore solver problems after touching the partitioning (master) #242

Merged
merged 10 commits into from
Mar 27, 2017
Merged

Do not ignore solver problems after touching the partitioning (master) #242

merged 10 commits into from
Mar 27, 2017

Conversation

mvidner
Copy link
Member

@mvidner mvidner commented Mar 27, 2017

@coveralls
Copy link

Coverage Status

Coverage decreased (-22.9%) to 14.942% when pulling 2e5d7dd on remember-packager-blockers-m into 0ba3bd9 on master.

jreidinger
jreidinger approved these changes Mar 27, 2017
View reviewed changes
Copy link
Member

@jreidinger jreidinger left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@mvidner mvidner merged commit 83b8684 into master Mar 27, 2017
@mvidner mvidner deleted the remember-packager-blockers-m branch March 27, 2017 09:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jreidinger jreidinger jreidinger approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@mvidner @coveralls @jreidinger