From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,9b7d3a51d0d8b6ee
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!x38g2000yqj.googlegroups.com!not-for-mail
From: sjw <simon.j.wright@mac.com>
Newsgroups: comp.lang.ada
Subject: Re: Extending discriminant types
Date: Sat, 22 Nov 2008 08:41:32 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <c06e05f0-7b37-4587-a57c-90dfa606ace0@x38g2000yqj.googlegroups.com>
References: <20081115101632.5f98c596@cube.tz.axivion.com>
 <oiRUk.141685$Mh5.126924@bgtnsc04-news.ops.worldnet.att.net>
	<26f0cb8c-eb3e-4c0d-85d1-f45e2c1ba4c6@j38g2000yqa.googlegroups.com>
	<NZlVk.36083$_Y1.11594@bgtnsc05-news.ops.worldnet.att.net>
	<bcd3ee7a-610f-4b9c-96c7-a18320513de8@g38g2000yqn.googlegroups.com>
	<QuFVk.445187$yE1.210987@attbi_s21>
NNTP-Posting-Host: 62.49.19.209
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1227372093 28947 127.0.0.1 (22 Nov 2008 16:41:33
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sat, 22 Nov 2008 16:41:33 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: x38g2000yqj.googlegroups.com; posting-host=62.49.19.209;
	posting-account=_RXWmAoAAADQS3ojtLFDmTNJCT0N2R4U
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10_5_5; en-us)
	AppleWebKit/525.26.2 (KHTML,
 like Gecko) Version/3.2 Safari/525.26.12,gzip(gfe),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:3721
Date: 2008-11-22T08:41:32-08:00
List-Id: <comp.lang.ada>

On Nov 21, 9:12=A0pm, "Jeffrey R. Carter"
<spam.jrcarter....@spam.acm.org> wrote:
> christoph.gr...@eurocopter.com wrote:

> You can killfile the moron, as I did long ago. Then you never see its rav=
ings
> unless someone else replies to it.

Is there a killfile facility in Google Groups? (my ISP's news support
has been spotty of late ...)