Boost logo

Boost :

From: Vinnie Falco (vinnie.falco_at_[hidden])
Date: 2019-09-12 11:14:46

On Thu, Sep 12, 2019 at 2:38 AM Dominique Devienne via Boost
<boost_at_[hidden]> wrote:
> Which is a much better name IMHO

The name is the least important thing right now it can always be
changed...can we please focus on substantive issues?


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