Skip to content

Conversation

@Marsup
Copy link
Contributor

@Marsup Marsup commented Jun 14, 2016

Naive fix but it works...

@Marsup Marsup added the bug Bug or defect label Jun 14, 2016
@geek geek added this to the 10.8.2 milestone Jun 14, 2016
@geek geek merged commit 2f40e25 into master Jun 14, 2016
@geek geek deleted the fix-env branch June 14, 2016 23:56
@geek
Copy link
Member

geek commented Jun 14, 2016

@Marsup thanks, looks good

@lock
Copy link

lock bot commented Jan 9, 2020

This thread has been automatically locked due to inactivity. Please open a new issue for related bugs or questions following the new issue template instructions.

@lock lock bot locked as resolved and limited conversation to collaborators Jan 9, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

bug Bug or defect

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants