1 Aug
2024
1 Aug
'24
1:37 a.m.
On Wed, Jul 31, 2024 at 9:16 AM Vinnie Falco <vinnie.falco@gmail.com> wrote:
this pull request to redirect boost.org to boost.io will be merged on August 5, 2024:
Since the Foundation is generously offering a measure of self-determination to developers with respect to the ownership of Boost's shared assets, this can probably wait. Thanks