From: Vinnie Falco (vinnie.falco_at_[hidden])
Date: 2024-07-31 23:37:42
On Wed, Jul 31, 2024 at 9:16 AM Vinnie Falco <vinnie.falco_at_[hidden]> wrote:
> this pull request to redirect boost.org to boost.io will be merged on August 5, 2024:
Since the Foundation is generously offering a measure of
self-determination to developers with respect to the ownership of
Boost's shared assets, this can probably wait.
Thanks