Fixes issue #9464 #12030

Closed
wants to merge 2 commits into
from

Projects

None yet

2 participants

@mohit3011
Contributor

<If this pull request fixes an issue please indicate which issue by typing "Fixes #NNNN" below.>

mohit3011 and others added some commits Jan 9, 2017
@jksuom
Member
jksuom commented Jan 9, 2017

It seems that this was fixed already, though not closed.

@mohit3011 mohit3011 closed this Jan 10, 2017
@mohit3011 mohit3011 reopened this Jan 10, 2017
@mohit3011 mohit3011 closed this Jan 13, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment