Skip to content

Conversation

@me-no-dev
Copy link
Contributor

connected to: #4471

@probonopd
Copy link
Contributor

I can confirm that the change proposed by @me-no-dev works for me and would close #4471.

@matthijskooijman
Copy link
Collaborator

This fix looks good to me, just tested it with a Pinocc.io board (which had the same problem).

@me-no-dev could you rebase your branch on top of the latest master to remove the merge commits? If you then force push to the branch used to create this PR, the PR should be updated to only contain the relevant commit, without needlessly making the commit history more complex.

@cmaglie
Copy link
Member

cmaglie commented Jan 25, 2016

Rebased and merged. Thank you!

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