This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: PR/19801: Change file names in cppinternals.texi
- From: "Joseph S. Myers" <joseph at codesourcery dot com>
- To: Paolo Bonzini <paolo dot bonzini at lu dot unisi dot ch>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Tue, 8 Feb 2005 14:46:27 +0000 (UTC)
- Subject: Re: PR/19801: Change file names in cppinternals.texi
- References: <42088564.4000406@lu.unisi.ch>
On Tue, 8 Feb 2005, Paolo Bonzini wrote:
> Fairly obvious. Ok for mainline?
OK.
--
Joseph S. Myers http://www.srcf.ucam.org/~jsm28/gcc/
jsm@polyomino.org.uk (personal mail)
joseph@codesourcery.com (CodeSourcery mail)
jsm28@gcc.gnu.org (Bugzilla assignments and CCs)