On 27/08/2019 13:41, Joseph Myers wrote: > On Tue, 27 Aug 2019, Adhemerval Zanella wrote: > >> Ping, with Joseph's comment removal applied. > > And with all the versions updated to 2.31? > Indeed, I am just rechecking on 2.31 for the all affected ABIs.