From: Vinnie Falco (vinnie.falco_at_[hidden]) Date: 2019-12-16 03:46:30
On Sun, Dec 15, 2019 at 7:25 PM Gavin Lambert via Boost <boost_at_[hidden]> wrote: > don't make it configurable.
Agreed