On 11/17/2010 04:59 PM, Alexander Neundorf wrote: > I haven't done the final push yet. > Is it ok to do that push ?
Yes. > Doesn't that go around the stage then again ? Yes, but the difference is that the stage now has the named topic branch on it. Previously you never even pushed that name to the stage so we would not see it except by manually reviewing merges to next. -Brad _______________________________________________ cmake-developers mailing list [email protected] http://public.kitware.com/cgi-bin/mailman/listinfo/cmake-developers
