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