[php-src] Issue #8020: json_encode precision

From: Date: Tue, 01 Feb 2022 20:32:41 +0000
Subject: [php-src] Issue #8020: json_encode precision
Groups: php.bugs 
Request: Send a blank email to php-bugs+get-239417@lists.php.net to get a copy of this message
Issue: https://github.com/php/php-src/issues/8020 Closed by nikic.

« previous php.bugs (#239417) next »