On Mon, Oct 01, 2007 at 01:23:19PM +0100, Fran?ois-Xavier Coudert wrote: > > The patch was regtested on x86_64-linux, with the following > combinations of options: -m64, -m64 -g3, -m64 -gstabs, -m32 -gstabs, > -m64 -gstabs+. OK to commit? > The change looks ok to me. -- Steve