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
