Re: Do Tools Need Formal Reviews?

From: Joaquin M López Muñoz (joaquinlopezmunoz_at_[hidden])
Date: 2024-10-10 07:06:18

El 10/10/2024 a las 2:37, Vinnie Falco escribió:
> On Wed, Oct 9, 2024 at 10:31 AM Joaquín M López Muñoz via Boost 
> <boost_at_[hidden]> wrote:
>
>     I think reviews are useful to improve the quality of submissions,
>     so it is only natural that they can be applied to tools as well
>     going forward. For this tool in particular, its potential usage
>     goes beyond an internal utility for Boost authors, which makes it
>     more sensible that it be reviewed publicly. Either way, the author
>     has explicitly requested the review, which to me should settle all
>     arguments about whether that review should take place or not.
>
>
> [...]
> 3. I don't see any tools listed here: https://www.boost.org/doc/libs/
> 4. I don't see any tools listed here: https://www.boost.io/libraries/mini/

Their place is

https://www.boost.org/doc/libs/release/tools
https://www.boost.io/doc/libs/release/tools

Joaquin M Lopez Munoz