[php-src] Issue #12376: possible round() problem

From: Date: Fri, 06 Oct 2023 20:33:46 +0000
Subject: [php-src] Issue #12376: possible round() problem
Groups: php.bugs 
Request: Send a blank email to php-bugs+get-245512@lists.php.net to get a copy of this message
Issue: https://github.com/php/php-src/issues/12376 Closed by damianwadley.

« previous php.bugs (#245512) next »