Boost logo

Boost :

From: Beman Dawes (bdawes_at_[hidden])
Date: 2001-05-28 14:52:51

At 02:07 PM 5/28/2001, David Abrahams wrote:

>Should we really consider changing a filename without any evidence that
>a problem?

No. That's why the original query was posed as a question. I'd give it
another day or three, but if no one comes up with a specific currently used
operating system where this would be a problem, let's not worry about it.


Boost list run by bdawes at, gregod at, cpdaniel at, john at