On Sat, Dec 3, 2022 at 7:34 PM John Maddock via Boost-users < [email protected]> wrote:
> On 03/12/2022 13:03, Ivan Matek via Boost-users wrote: > > > There's no such header at present, but I've just filed myself a ticket > as it seems like a good idea to me: > https://github.com/boostorg/multiprecision/issues/508 > > > Thank you John, we can discuss the issue further on github.
_______________________________________________ Boost-users mailing list [email protected] https://lists.boost.org/mailman/listinfo.cgi/boost-users
