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

On Wed, Jul 31, 2024 at 12:17 PM Vinnie Falco via Boost wrote:

Absent objection, this pull request to redirect boost.org to boost.io will be merged on August 5, 2024:

I object.