Skip to content

Conversation

@cprotopa
Copy link
Contributor

@cprotopa cprotopa commented May 22, 2017

Addresses issue #6 .

@cprotopa cprotopa requested a review from GlennReynders May 22, 2017 15:15
@bramvdh91
Copy link
Contributor

These changes look good! Just came up with the same fix before I saw this...
So maybe we don't have to wait for @GlennReynders' review.

@GlennReynders GlennReynders merged commit 8055827 into master Sep 28, 2017
@GlennReynders GlennReynders deleted the issue6_unheatedProfiles branch September 28, 2017 11:04
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.

4 participants