[boost] Re: Dot in Boost Library Names? Results

"David Abrahams" <dave@boost-consulting.com> wrote in message:

I asked Jonathan Turkanis if he wanted to make a numeric vote, but now it's clear to me that it can't change anything significantly.

Thanks for the courtesy -- I'm just now reading my messages. Jonathan