Re: [PATCH] Correct typos in gccint.texi.

Tue, 25 Mar 2014 02:14:29 -0700 

On Thu, Mar 20, 2014 at 06:52:13AM +0100, Dominik Vogt wrote:
> 2014-03-20  Dominik Vogt  <[email protected]>
> 
>       * doc/generic.texi: Correct typos.

Applied. Thanks!

-Andreas-

Reply via email to