Could you clarify whether you want to just merge and release this one change, or take over maintainership?
In general it's probably helpful to just file that PR -- you're going to need it anyway --, as we are less likely to lose that, compared to emails to the list ;-)