On 08/02/2018 12:23 PM, Aldy Hernandez wrote: > > > On 08/02/2018 02:07 PM, Jeff Law wrote: >> On 08/01/2018 03:19 PM, David Malcolm wrote: >>> On Wed, 2018-08-01 at 15:39 -0400, Aldy Hernandez wrote: >>>> This is actually an obvious patch, but I'm not committing it just in >>>> case you'd prefer another name for the files. >>> >>> BTW, is it our policy that new gcc C++ source files should have a .cc >>> extension? >> I believe so. >> jeff >> > > I did not know that. I'm happy to rename it to .cc. > > OK with that change ;-)? If it's just moving code around, yes, OK.
Jeff
