Thank you. I followed the directions on the http://repo.or.cz/tinycc.git website. The three patches have been pushed.
A On Sat, Apr 15, 2017 at 8:42 PM, Michael Matz <matz....@frakked.de> wrote: > Hello, > > On Thu, 13 Apr 2017, Andrei E. Warkentin wrote: > > How does the merge process work for tinycc? Anything you want from my end? >> > > I used imprecise language. When I said "merge" I meant "push to mob". See > http://repo.or.cz/tinycc.git, in particular the section "mob" of the > repository readme. (Please rebase your work to current mob before pushing; > I'm not sure if non-fast-forwards are even accepted, but just in case to > not uglify history too much). > > > > Ciao, > Michael. > > _______________________________________________ > Tinycc-devel mailing list > Tinycc-devel@nongnu.org > https://lists.nongnu.org/mailman/listinfo/tinycc-devel > -- A
_______________________________________________ Tinycc-devel mailing list Tinycc-devel@nongnu.org https://lists.nongnu.org/mailman/listinfo/tinycc-devel