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

Pedro Alves
2014-05-13T17:29:54Z

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