$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
From: helmut.zeisel_at_[hidden]
Date: 2001-07-25 15:34:50
--- In boost_at_y..., "David Abrahams" <david.abrahams_at_r...> wrote:
>
> From: <helmut.zeisel_at_a...>
>
> > --- In boost_at_y..., "David Abrahams" <david.abrahams_at_r...> wrote:
> > > Did you report this at http://gcc.gnu.org/cgi-bin/gnatsweb.pl
> >
> > No, I do not have an account there.
>
> No account needed;
OK, submitted
Helmut