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

From: Klemens Morgenstern (klemensdavidmorgenstern_at_[hidden])
Date: 2024-08-02 14:12:01

On Fri, Aug 2, 2024, 9:50 PM David Sankel via Boost <boost_at_[hidden]>
wrote:

> On Wed, Jul 31, 2024 at 12:17 PM Vinnie Falco via Boost
> <boost_at_[hidden]> 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
>