Re: [RFC] [Discussion] Change the edge case of round()
| From: | Saki Takamachi | Date: | Sun, 05 Nov 2023 07:31:21 +0000 |
| Subject: | Re: [RFC] [Discussion] Change the edge case of round() | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-121585@lists.php.net to get a copy of this message | ||
Hi,
It's almost been two weeks since I opened this discussion. If there are no other opinions, I am
thinking of starting a vote tomorrow or later.
Regards.
Saki