> > I checked the change in gcc, but are these checkins propagated to GDB > > as well? It doesn't seem like it. > > Normally, my cron job does it within an hour, if I notice. If you > commit to both, the cron job lets you ;-) Ah ha, I see now. Thanks! I will simply commit to gdb as well. -- Joel