https://sourceware.org/bugzilla/show_bug.cgi?id=31312 --- Comment #29 from Joel Brobecker <brobecker at gnat dot com> --- Hello, Do you guys confirm we can now mark this PR as fixed? -- You are receiving this mail because: You are on the CC list for the bug.