Closed mattiarossi closed 11 years ago
hrm, sorry, I am new to github ... I thought I had created a pull request from my dev branch to the main dev branch ... I see that's not the case. I'll close this and I will re-pull from the correct branch, sorry
Hi, created a pull request for the dev branch as well, removed some trailing spaces in addition to the master pull