Re: Today's github tip - fixing local master

[Jacob Carlborg]

On 2013-06-19 00:35, Walter Bright wrote:

No, the procedure is never push to upstream, do P.R.'s.

Then wait for someone to merge the pull request. I don't understand what 
you did and what you actually tried to do.

--
/Jacob Carlborg