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

On Fri, Aug 2, 2024, 9:50 PM David Sankel via Boost wrote:

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.

Grounds?

_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost