Re: [Emacs-diffs] master 690512d: Fix a FIXME with an exegetical comment

[Reuben Thomas]

On 26 August 2017 at 09:10, Paul Eggert <address@hidden> wrote:
> Eli Zaretskii wrote:
>>
>> Is wksh no longer included in the popular distributions?
>
>
> No. It was a commercial product, and was never part of GNU or BSD
> distributions. It was in use for only a year or two, and was almost
> immediately supplanted by dtksh (another commercial product) around 1993.
> Nobody has used wksh for many years.
>
>> In any case, we don't normally remove stuff before deprecating it for
>> some period of time.  Should this case be an exception
>
> I'd say so, yes, since nobody uses wksh.

I've simply removed the offending invalid regexp, figuring that
there's little harm in keeping the rest of the information about wksh.

-- 
https://rrt.sc3d.org