From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-289185-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 7686 invoked by alias); 11 Apr 2011 19:27:25 -0000
Received: (qmail 7678 invoked by uid 22791); 11 Apr 2011 19:27:24 -0000
X-SWARE-Spam-Status: No, hits=-2.3 required=5.0	tests=AWL,BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,SPF_HELO_PASS,T_RP_MATCHES_RCVD
X-Spam-Check-By: sourceware.org
Received: from smtp-out.google.com (HELO smtp-out.google.com) (74.125.121.67)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Mon, 11 Apr 2011 19:27:19 +0000
Received: from wpaz1.hot.corp.google.com (wpaz1.hot.corp.google.com [172.24.198.65])	by smtp-out.google.com with ESMTP id p3BJRHHH030715	for <gcc-patches@gcc.gnu.org>; Mon, 11 Apr 2011 12:27:17 -0700
Received: from gwj15 (gwj15.prod.google.com [10.200.10.15])	by wpaz1.hot.corp.google.com with ESMTP id p3BJQkTk005365	(version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NOT)	for <gcc-patches@gcc.gnu.org>; Mon, 11 Apr 2011 12:27:16 -0700
Received: by gwj15 with SMTP id 15so4164512gwj.11        for <gcc-patches@gcc.gnu.org>; Mon, 11 Apr 2011 12:27:15 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.101.53.17 with SMTP id f17mr3719776ank.142.1302550035556; Mon, 11 Apr 2011 12:27:15 -0700 (PDT)
Received: by 10.100.43.2 with HTTP; Mon, 11 Apr 2011 12:27:15 -0700 (PDT)
In-Reply-To: <20110411212421.e7c55588.basile@starynkevitch.net>
References: <20110407214118.2b121fe9.basile@starynkevitch.net>	<20110407214344.5a3afcb3.basile@starynkevitch.net>	<20110411212421.e7c55588.basile@starynkevitch.net>
Date: Mon, 11 Apr 2011 19:27:00 -0000
Message-ID: <BANLkTi=8cgj7A7BOjA91GAV5nfRBOaShJg@mail.gmail.com>
Subject: Re: Ping Patch: add {tree,gimple}-pretty-print.h & realmpfr.h to PLUGIN_HEADERS
From: Diego Novillo <dnovillo@google.com>
To: Basile Starynkevitch <basile@starynkevitch.net>
Cc: gcc-patches@gcc.gnu.org
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-System-Of-Record: true
X-IsSubscribed: yes
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-patches.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
X-SW-Source: 2011-04/txt/msg00789.txt.bz2

On Mon, Apr 11, 2011 at 15:24, Basile Starynkevitch
<basile@starynkevitch.net> wrote:

> 2011-04-11 =C2=A0Basile Starynkevitch =C2=A0<basile@starynkevitch.net>
> =C2=A0 =C2=A0 =C2=A0 =C2=A0* Makefile.in (PLUGIN_HEADERS): Add gimple-pre=
tty-print.h
> =C2=A0 =C2=A0 =C2=A0 =C2=A0tree-pretty-print.h & realmpfr.h.

OK.


Diego.