From: Peter Dimov (pdimov_at_[hidden])
Date: 2024-09-08 23:37:28
Tom Kent wrote:
> On Sun, Sep 8, 2024 at 10:52 AM René Ferdinand Rivera Morell via Boost <
> boost_at_[hidden]> wrote:
>
> > Irrespective of that.. Here's a PR to resolve the problem
> > <https://github.com/boostorg/check_build/pull/1>.
> >
>
> Thanks for the quick fix. Looks good on develop, hopefully will get merged to
> master shortly?
Done.