On Sat, Dec 3, 2022 at 7:34 PM John Maddock via Boost-users < boost-users@lists.boost.org> 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 Boost-users@lists.boost.org https://lists.boost.org/mailman/listinfo.cgi/boost-users
