[php-src] Issue #10433: Better handling of floats with json_encode

From: Date: Tue, 24 Jan 2023 17:24:35 +0000
Subject: [php-src] Issue #10433: Better handling of floats with json_encode
Groups: php.bugs 
Request: Send a blank email to php-bugs+get-243557@lists.php.net to get a copy of this message
Issue: https://github.com/php/php-src/issues/10433 Closed by tgeene.

« previous php.bugs (#243557) next »