Re: [RFC] [Discussion] [VOTE] Rounding Integers as int
| From: | Marc Bennewitz | Date: | Tue, 02 Apr 2024 07:14:14 +0000 |
| Subject: | Re: [RFC] [Discussion] [VOTE] Rounding Integers as int | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-122848@lists.php.net to get a copy of this message | ||
Hi internals,
On 17.03.24 13:23, Marc Bennewitz wrote:
Attachment: [application/pgp-keys] OpenPGP public key OpenPGP_0x3936ABF753BC88CE.asc
Attachment: [application/pgp-signature] OpenPGP digital signature OpenPGP_signature.asc
Hello internals, I have opened the vote for the "Rounding Integers as int" RFC: https://wiki.php.net/rfc/integer-rounding Do to Easter weekend the vote will run for two weeks and two days until Tue the 2nd of April 2024. The RFC has been declined with 18 votes against and 0 in favor.Kind regards, Marc Bennewitz
Attachment: [application/pgp-keys] OpenPGP public key OpenPGP_0x3936ABF753BC88CE.asc
Attachment: [application/pgp-signature] OpenPGP digital signature OpenPGP_signature.asc