Jonathan Wakely wrote: > OK, thanks. > > I'll wait another day or two and if noone has any suggestions for > improvement, shall I go ahead and commit the patch as given in > c++/39909 ? > Yes, thanks, unless Chris has more comments, of course. Paolo.