Re: [RFC] [VOTE] Change the edge case of round()
| From: | Saki Takamachi | Date: | Fri, 08 Dec 2023 00:32:11 +0000 |
| Subject: | Re: [RFC] [VOTE] Change the edge case of round() | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-121951@lists.php.net to get a copy of this message | ||
Hi all,
Voting is now closed. As a result of the vote, this RFC was rejected. (7 in favor, 8 against)
Therefore, as stated in the RFC, the following pull request will be adopted to fix the bug in
round().
https://github.com/php/php-src/pull/12268
Thank you for all your votes.
Regards.
Saki