Re: [RFC] [Discussion] Change the edge case of round()
| From: | Saki Takamachi | Date: | Tue, 07 Nov 2023 16:06:58 +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-121609@lists.php.net to get a copy of this message | ||
Hi Mike,
I'm still new to RFC and your advice would be very helpful.
I have added as much of the rationale for the changes as I can think of to the RFC. I would be happy
if you could see it again.
Thank you, regards.
Saki