Re: [bug-gawk] Typo's in documentation

[Aharon Robbins]

Hi. Much thanks. Fixes applied. They'll get pushed shortly.

> Date: Fri, 25 Nov 2011 17:02:15 +0100
> To: address@hidden
> From: Jeroen Schot <address@hidden>
> Subject: [bug-gawk] Typo's in documentation
>
> Hello,
>
> I spotted a couple of typo's in the gawk documentation,
> gawk.{info,texi}. Attached is a diff against HEAD of gawk-4.0-stable
> that corrects these.
>
> Kind regards,
> -- 
> Jeroen Schot
ttp://www.h-online.com/open/news/item/Study-Patent-trolls-cost-a-half-a-trillio