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
>it's
>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.
--Beman