Skip to content

Make implicit double promotion/casting explicit (fixes #228)#273

Merged
recp merged 1 commit intorecp:masterfrom JulianSchoenbaechler:fix-Wdouble-promotionDec 31, 2022

Commits

Commits on Dec 29, 2022