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
> 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 acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk