Date: Sun, 1 Jul 2001 11:22:35 +0300 (IDT)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
X-Sender: eliz AT is
To: "Mark E." <snowball3 AT bigfoot DOT com>
cc: djgpp-workers AT delorie DOT com
Subject: Re: dosexec fix
In-Reply-To: <3B3C7229.2112.87F9DA@localhost>
Message-ID: <Pine.SUN.3.91.1010701112153.20826E-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Reply-To: djgpp-workers AT delorie DOT com
Errors-To: nobody AT delorie DOT com
X-Mailing-List: djgpp-workers AT delorie DOT com
X-Unsubscribes-To: listserv AT delorie DOT com
Precedence: bulk


On Fri, 29 Jun 2001, Mark E. wrote:

> This patch fixes a bogus change from the removal of .pl, etc. extensions.

I'm not sure whether you are asking for approval, but if you are, I think 
we already agreed to this, back when it was discussed.