Patch ping

[Jakub Jelinek via Gcc-patches]

Hi!

I'd like to ping two patches:

https://gcc.gnu.org/pipermail/gcc-patches/2021-March/566324.html
PR99388 dwarf2out half float fix

https://gcc.gnu.org/pipermail/gcc-patches/2021-March/566669.html
PR99490 dwarf2out -gsplit-dwarf ranges fixes

Thanks

        Jakub