From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Reuben Thomas Newsgroups: gmane.emacs.devel Subject: Re: [Emacs-diffs] master 690512d: Fix a FIXME with an exegetical comment Date: Sun, 27 Aug 2017 00:29:07 +0100 Message-ID: References: <20170825125953.23848.98653@vcs0.savannah.gnu.org> <20170825125953.D61F420EC0@vcs0.savannah.gnu.org> <83378e7p2x.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" X-Trace: blaine.gmane.org 1503790169 11844 195.159.176.226 (26 Aug 2017 23:29:29 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 26 Aug 2017 23:29:29 +0000 (UTC) Cc: Eli Zaretskii , Stefan Monnier , emacs-devel@gnu.org To: Paul Eggert Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Aug 27 01:29:24 2017 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dlkVp-00027T-J8 for ged-emacs-devel@m.gmane.org; Sun, 27 Aug 2017 01:29:09 +0200 Original-Received: from localhost ([::1]:58967 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dlkVw-0005MD-Ge for ged-emacs-devel@m.gmane.org; Sat, 26 Aug 2017 19:29:16 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:40822) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dlkVp-0005Ls-JK for emacs-devel@gnu.org; Sat, 26 Aug 2017 19:29:10 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dlkVo-0005PW-NJ for emacs-devel@gnu.org; Sat, 26 Aug 2017 19:29:09 -0400 Original-Received: from mail-oi0-x231.google.com ([2607:f8b0:4003:c06::231]:36101) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dlkVo-0005PO-ID for emacs-devel@gnu.org; Sat, 26 Aug 2017 19:29:08 -0400 Original-Received: by mail-oi0-x231.google.com with SMTP id r9so22648517oie.3 for ; Sat, 26 Aug 2017 16:29:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sc3d.org; s=google; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=xRBySCUkGWf8x/YCjFouqAqklIcS8WtFpYWjxhDyhjI=; b=gfJrMoqAdzPdMhWZJA8QnvbxlXDxLNKBDp3WeW8tvDELnt/33JK4fD7+pNTEsWPHOR /LNFJeyoEk7eP1/bLaziJTT9uiK2wT0gaES5kEBZbyGXGAf8NhEf48L2QKBjTbSt4lLh sd17mbwisqF3oFRgHC7AXTh7B4qydrv5sSzm0= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=xRBySCUkGWf8x/YCjFouqAqklIcS8WtFpYWjxhDyhjI=; b=HLvlAhxVnmgTvZHReZSOFftX0cIwaySPED4btWv1rPuAyiOx83v6NlTExHYPkS5iEW 3otb+kwiOSDVlKfnbyezkax8fEL80/lyNJRm6fg5bhE6Zs63k3VEx/h+JeIHkmnTlwET AoKhAOTaC1nuqj/5KawciWwM6n+wasWeDcBQyvNEX0CgSH/GF1L4EPxm6XKZqg47ZKHR zLpMZStEaKzTgAyBhZgnv4Blmnul2A/kGmcIDQvvUUpbydr9ktrf0BR/hjVgt19sv58N ISmSTMRwI3YStTyWsRu3hSfTP8/0avmssp249orcqaR91tqQDdElMOl4PLWNYqBX2MPg qyBQ== X-Gm-Message-State: AHYfb5ivc9VRL7/hklBff7LZ+yq2PGweaDTiOBf4p1Ngez68R/opZd56 IVewQnT2vfkUrxh4FsQD4USO+BzMZt0I X-Received: by 10.202.252.199 with SMTP id a190mr3787554oii.268.1503790147783; Sat, 26 Aug 2017 16:29:07 -0700 (PDT) Original-Received: by 10.157.53.86 with HTTP; Sat, 26 Aug 2017 16:29:07 -0700 (PDT) In-Reply-To: X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4003:c06::231 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:217841 Archived-At: On 26 August 2017 at 09:10, Paul Eggert 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