On Sat, Oct 01, 2011 at 12:36:23AM +0200, grischka wrote:
Kirill Smelkov wrote:
I have it as git branch btw. If anyone is interested I could push
it on repo.or.cz.
Yes, I'm interested. Could you please do so? Thanks.
Well, now I don't want to push it into our repo, because it would
just bloat everybody's copy. If you want to I could push it into
your fork as at http://repo.or.cz/w/tinycc/kirr.git :-)
If so, add me as user (temporarily) or enable the mob branch.
--- grischka
Done - could you please push it as-is to my mob branch. Thanks.