Hi,
since there has been no further discussion on this RFC, I have opened
the voting on unbundling ext/recode:
<https://wiki.php.net/rfc/unbundle_recode#vote>
Voting ends in two weeks, i.e. on 2019-07-12.
Thanks for everybody participating in the vote in advance!
Joe, while I agree with your sentiment that removing this out-dated
extension doesn't even require a vote, I think it does no harm to have
it. :)
Thanks,
Christoph
