Re: [boost] Notice of Intent To Redirect boost.org to boost.io

On Wed, Jul 31, 2024 at 9:16 AM Vinnie Falco 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