This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PING] [PATCH] PR external/{16327,16328}: Remove etc/configure.texi and etc/standards.texi
- From: Pedro Alves <palves at redhat dot com>
- To: Ludovic CourtÃs <ludo at gnu dot org>, gdb-patches at sourceware dot org, binutils at sourceware dot org
- Date: Tue, 13 May 2014 18:29:47 +0100
- Subject: Re: [PING] [PATCH] PR external/{16327,16328}: Remove etc/configure.texi and etc/standards.texi
- Authentication-results: sourceware.org; auth=none
- References: <87k3a0jkad dot fsf at gnu dot org> <87k39phc1q dot fsf at gnu dot org>
On 05/13/14 17:35, Ludovic CourtÃs wrote:
> (Original post at <http://sourceware.org/ml/gdb-patches/2014-05/msg00044.html>.)
>
> This patch removes etc/{configure,standards}.texi, for the reasons given at:
>
> http://sourceware.org/bugzilla/show_bug.cgi?id=16327
> http://sourceware.org/bugzilla/show_bug.cgi?id=16328
>
> (I left out the diffs for file removals from this message.)
Suggestion:
Could you write a small executive summary for the commit log?
As is, one has to follow at least url two levels deep to find
the rationale.
(and that'd make it easier to trigger a quick review, I bet.)
--
Pedro Alves