> This is OK. It should be committed in gcc/ at the same time; if you > don't have write access I guess DJ's sync scripts will pick it up? My scripts notice that there's a difference, but they still have to be manually applied.