Modserial for mbed os5

Is there an mbed os-5 update for Modserial?

Underlying Serial API that Modserial uses has not changed, so I guess https://developer.mbed.org/users/AjK/code/MODSERIAL/ should still work in mbed OS 5.