As pointed out here. Made the necessary changes
Pull-Request has been merged by jonatoni
Oops. I missed that in the last review.
@phoenixabhishek Actually since the file has he executable bit already set in git, I don't think this step is necessary at all. I think it could be omitted from the docs.
@jflory7 so should I change this in the docs..???
@phoenixabhishek If you wanted to verify this is true (i.e. clone the repo fresh and test the insturctions without the step), that would be helpful. If it still works, then a new PR to remove the step is welcome.
Okk, I'll verify this first and then go ahead... :thumbsup: :thumbsup: :thumbsup: :thumbsup: :thumbsup:
@jflory7 It still works, opening a new PR to address this and remove the step.
As pointed out here.
Made the necessary changes