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

Reply via email to