DJ> We'd have to branch all of src and gcc. But that might be a good DJ> idea regardless, unless we tweak the toplevel to allow gradual DJ> migration. On irc I was told we don't need any special permission to make such a branch anywhere. In the absence of a complaint I'll make a branch in both repositories tomorrow. Tom