Skip to content

Conversation

@Redsandro
Copy link
Contributor

This fixes the PR that was broken in 808d193

Copy link
Member

@Rokt33r Rokt33r left a comment

Choose a reason for hiding this comment

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

Sorry for cleaning up my mess.. 😭 😭

@Redsandro
Copy link
Contributor Author

@Rokt33r no problem. It happens. Glad we got this in. 😎

@Rokt33r Rokt33r merged commit 18392c4 into BoostIO:master Mar 5, 2018
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