Skip to content

formatting changes and kde fix#1363

Merged
rfecher merged 2 commits intomasterfrom
kde-it-fix
Jul 28, 2018
Merged

formatting changes and kde fix#1363
rfecher merged 2 commits intomasterfrom
kde-it-fix

Conversation

@rfecher
Copy link
Copy Markdown
Contributor

@rfecher rfecher commented Jul 27, 2018

KDERasterResizeIT has been failing periodically, and its due to the double comparison as described in KDEReducer changes in this PR

@coveralls
Copy link
Copy Markdown

coveralls commented Jul 28, 2018

Coverage Status

Coverage decreased (-0.1%) to 47.691% when pulling 3f9c10d on kde-it-fix into df80454 on master.

@rfecher rfecher merged commit 97528da into master Jul 28, 2018
@rfecher rfecher deleted the kde-it-fix branch July 28, 2018 03:30
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