> Other than that, below is the combined patch I intend to commit to src > unless there are disagreements. Ok, thanks. DJ, can you amend your scripts so that the head of gcc/ChangeLog and src/ChangeLog is included? This will make it easier to bug relevant people. Paolo