31 Jul
2024
31 Jul
'24
8:31 p.m.
El 31/07/2024 a las 18:16, Vinnie Falco via Boost escribió:
Absent objection, this pull request to redirect boost.org to boost.io will be merged on August 5, 2024:
I agree, let's move forward, we can't wait forever to execute the decision to make the new website the official one. And let's continue giving feedback, issues, and pull requests from the community. Best, Ion