>>>>> "Tom" == Tom Tromey <tromey@redhat.com> writes: Tom> This patch provides a fix/workaround for PR 9125. I'd like some Tom> comments before checking it in. It has been a few days. On irc Mark Wielaard said he thought this seemed sensible. So, without further ado, it is going in. Tom