The best thing to do is to send individual PRs for these ports, so that they may be assigned to the maintainers. The mailing lists are so noisy that things like this tend to just get lost. mcl