Re: gawk option processing

[Aharon Robbins]

Greetings. Re this:

> Date: Mon, 20 May 2002 15:27:24 +0200
> From: Stepan Kasal <address@hidden>
> To: address@hidden
> Subject: gawk option processing
> Content-Disposition: inline
>
> Hallo,
>       I've created a patch relative to gawk-3.1.1. Its main purpose
> is change of option processing.
>
> ................

This has been applied to my sources.

Thanks,

Arnold