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?
Thanks