Hi Herman, Danny, I just pushed a fix-up to the 'mob' branch to recover three commits which had been 'overwritten' somehow. (Danny, did you not see an error message when you tried to push?).
ATB, Ramsay Jones _______________________________________________ Tinycc-devel mailing list Tinycc-devel@nongnu.org https://lists.nongnu.org/mailman/listinfo/tinycc-devel
