[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Emacs-diffs] master 690512d: Fix a FIXME with an exegetical comment
|
From: |
Eli Zaretskii |
|
Subject: |
Re: [Emacs-diffs] master 690512d: Fix a FIXME with an exegetical comment |
|
Date: |
Sat, 26 Aug 2017 10:41:58 +0300 |
> From: Reuben Thomas <address@hidden>
> Date: Fri, 25 Aug 2017 22:20:03 +0100
> Cc: address@hidden
>
> Since wksh is as far as I can tell a historical curiosity, the
> simplest thing would be to remove the setting for it. Does that seem
> reasonable?
Is wksh no longer included in the popular distributions?
In any case, we don't normally remove stuff before deprecating it for
some period of time. Should this case be an exception?