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=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.224.13.136 with SMTP id c8mr8793894qaa.0.1376466032992;
 Wed, 14 Aug 2013 00:40:32 -0700 (PDT)
X-Received: by 10.49.6.40 with SMTP id x8mr360607qex.5.1376466032910; Wed, 14
 Aug 2013 00:40:32 -0700 (PDT)
Path: 
 border1.nntp.dca3.giganews.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!fx3no2426114qab.0!news-out.google.com!he10ni1415qab.0!nntp.google.com!fx3no2426107qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 14 Aug 2013 00:40:32 -0700 (PDT)
In-Reply-To: <kue6sh$4nh$1@loke.gir.dk>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=91.7.1.111;
 posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 91.7.1.111
References: <90b5c304-417e-4303-931c-e86d34e17541@googlegroups.com>
 <c7573456-e37d-43f4-ab44-e1b37ade914d@googlegroups.com>
 <988e9ddb-e58a-4d52-9b43-71a080890dd4@googlegroups.com>
 <b59a8382-d34e-47d6-8c29-290b1683ac3b@googlegroups.com>
 <kue6sh$4nh$1@loke.gir.dk>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <087e496f-d8c9-427f-ac39-7c52900712e1@googlegroups.com>
Subject: Re: Questions on Storage Pools
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Wed, 14 Aug 2013 07:40:32 +0000
Content-Type: text/plain; charset=ISO-8859-1
X-Original-Bytes: 1437
Xref: number.nntp.dca.giganews.com comp.lang.ada:183009
Date: 2013-08-14T00:40:32-07:00
List-Id: <comp.lang.ada>

Thank you both, Adam and Randy, your explanations were most helpful.

I'll file a bug report to AdaCore.

Christoph