From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 12540 invoked by alias); 2 Jul 2012 13:43:17 -0000 Received: (qmail 12521 invoked by uid 22791); 2 Jul 2012 13:43:16 -0000 X-SWARE-Spam-Status: No, hits=-3.5 required=5.0 tests=BAYES_00,KHOP_THREADED,RCVD_IN_HOSTKARMA_NO X-Spam-Check-By: sourceware.org Received: from rock.gnat.com (HELO rock.gnat.com) (205.232.38.15) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Mon, 02 Jul 2012 13:43:03 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id D0B9B1C733E; Mon, 2 Jul 2012 09:43:02 -0400 (EDT) Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id E3yfxO2CjXEX; Mon, 2 Jul 2012 09:43:02 -0400 (EDT) Received: from [192.168.88.47] (burl-mse-71-255-143-190.static.ngn.east.myfairpoint.net [71.255.143.190]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by rock.gnat.com (Postfix) with ESMTPSA id 689EF1C707A; Mon, 2 Jul 2012 09:43:02 -0400 (EDT) Message-ID: <4FF1A55F.1030701@adacore.com> Date: Mon, 02 Jul 2012 13:43:00 -0000 From: Robert Dewar User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:13.0) Gecko/20120614 Thunderbird/13.0.1 MIME-Version: 1.0 To: Alexandre Oliva CC: David Edelsohn , "Joseph S. Myers" , gcc@gcc.gnu.org, gcc-patches@gcc.gnu.org Subject: Re: Allow use of ranges in copyright notices References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-IsSubscribed: yes Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org X-SW-Source: 2012-07/txt/msg00028.txt.bz2 On 7/2/2012 8:35 AM, Alexandre Oliva wrote: > On Jun 30, 2012, David Edelsohn wrote: > >> IBM's policy specifies a comma: > >> , > >> and not a dash range. > > But this notation already means something else in our source tree. > I think using the dash is preferable, and is a VERY widely used notation, used by all major software companies I deal with!