Re: [RFC] [Discussion] Change the edge case of round()

From: Date: Mon, 23 Oct 2023 16:23:11 +0000
Subject: Re: [RFC] [Discussion] Change the edge case of round()
References: 1  Groups: php.internals 
Request: Send a blank email to internals+get-121451@lists.php.net to get a copy of this message
Hi, Max This was originally discussed in a pull request. If you're interested in the original discussion, check out this pull request. https://github.com/php/php-src/pull/12268 Regards. Saki

« previous php.internals (#121451) next »