15.0.0-rc1 has been tagged

Has this been addressed? The ABI change in __extendhfsf2 and __truncsfhf2 is going to be a problem, unless something is done about it.