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? > OK pending bootstrap? > > Aldy