[RFC] [VOTE] Add 4 new rounding modes to round() function
| From: | Jorg Sowa | Date: | Wed, 15 Nov 2023 21:26:15 +0000 |
| Subject: | [RFC] [VOTE] Add 4 new rounding modes to round() function | ||
| Groups: | php.internals | ||
| Request: | Send a blank email to internals+get-121689@lists.php.net to get a copy of this message | ||
Hello internals!
I have just opened voting on the RFC to add 4 new rounding modes to round()
function.
Voting will end November 30th, 00:00 GMT.
Link:
https://wiki.php.net/rfc/new_rounding_modes_to_round_function
I'm sorry for previous message, but completely missed the title of the
message.
Kind regards,
Jorg