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

From: Vinnie Falco (vinnie.falco_at_[hidden])
Date: 2024-08-02 14:40:03

On Fri, Aug 2, 2024 at 7:12 AM Klemens Morgenstern via Boost
<boost_at_[hidden]> wrote:
> Grounds?

The pull request is obsolete now, so this is a moot point. I have
commented on the issue to reflect this.

Thanks