[Bug c++/98216] [C++20] template mangling for double template argument is wrong

[emmanuel.le-trong--- via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98216

Emmanuel Le Trong <emmanuel.le-tr...@cnrs-orleans.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #9 from Emmanuel Le Trong <emmanuel.le-tr...@cnrs-orleans.fr> ---
Fixed, thank you.