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

On Fri, Aug 2, 2024 at 7:12 AM Klemens Morgenstern via Boost wrote:

Grounds?

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