Re: [VOTE] Correctly name the rounding mode and make it an Enum
| From: | Tim Düsterhus | Date: | Thu, 18 Jul 2024 17:24:04 +0000 |
| Subject: | Re: [VOTE] Correctly name the rounding mode and make it an Enum | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-124485@lists.php.net to get a copy of this message | ||
Hi
On 7/3/24 08:32, Tim Düsterhus wrote:
RFC Text: https://wiki.php.net/rfc/correctly_name_the_rounding_mode_and_make_it_an_enum Discussion Thread: https://externals.io/message/123472The RFC has been accepted unanimously with 34 (yes) to 0 (no) votes. I'll now make the final adjustments to the implementation and then merge it. Best regards Tim Düsterhus