Hi Christophe, > Ping? > > https://sourceware.org/pipermail/binutils/2020-February/109942.html Oops - sorry - the patch is good. Approved - please apply. Cheers Nick