Re: [RFC] [Discussion] Change the edge case of round()
| From: | Saki Takamachi | Date: | Wed, 08 Nov 2023 09:40:09 +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-121616@lists.php.net to get a copy of this message | ||
Hi Jakub,
I added and modified into the RFC. I would be happy if you could check it out.
Regards.
Saki