Closed BertLindeman closed 10 years ago
@bmegli Would you like me to merge this in to the main repo, and then you pull the changes from here, or would you like to pull them directly in to your fork and include them in your own PR?
P.S. If you want to merge this in to your copy, you can do something like this (just in case you aren't sure how):
git pull https://github.com/BertLindeman/ev3dev-lang patch-1
Thanks,
I pulled the change to my copy and it will get to the main repo with next PR. This is the clearer way, I have to add some instructions for remote use.
OK; I'll close this PR without merging it.
Added my 5 cents