Hi
Am 2025-05-13 14:03, schrieb Tim Düsterhus:
> As with every RFC, a 2/3 majority is required. Voting ends 2025-05-27
> at 12:30:00 UTC.
For some reason I thought the vote would have ended today instead of
yesterday. Anyways: The RFC was accepted with 25 (Yes) to 1 (No) vote
(96%), with one “Yes” vote arriving after the announced end date.
Given this is a Policy RFC and we voted on an exact commit, the
“implementation” is already ready. I'll ask the maintainers of the
policy repository to squash merge the PR :-)
Best regards
Tim Düsterhus