Skip to content

Quick fixes to latest dependency consolidation#1258

Merged
rfecher merged 2 commits intomasterfrom
quick-fixes
Dec 1, 2017
Merged

Quick fixes to latest dependency consolidation#1258
rfecher merged 2 commits intomasterfrom
quick-fixes

Conversation

@JWileczek
Copy link
Copy Markdown
Contributor

No description provided.

@coveralls
Copy link
Copy Markdown

coveralls commented Nov 30, 2017

Coverage Status

Changes Unknown when pulling 72da15e on quick-fixes into ** on master**.

@coveralls
Copy link
Copy Markdown

coveralls commented Dec 1, 2017

Coverage Status

Coverage decreased (-0.4%) to 48.941% when pulling 509f18d on quick-fixes into 196c716 on master.

@rfecher rfecher merged commit 602f4f2 into master Dec 1, 2017
@rfecher rfecher deleted the quick-fixes branch December 1, 2017 15: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.

3 participants