https://sourceware.org/bugzilla/show_bug.cgi?id=31192 --- Comment #2 from Tom Tromey <tromey at sourceware dot org> --- I wonder if this was fixed by the patch for bug#31626 -- You are receiving this mail because: You are on the CC list for the bug.