[PING] [PATCH] PR external/{16327,16328}: Remove etc/configure.texi and etc/standards.texi

[Pedro Alves]

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