>>>>> "Tom" == Tom Tromey <tromey@redhat.com> writes: Tom> I'm checking this in after my previous patch goes in. Tom> This fixes the second case in Tom> https://bugzilla.redhat.com/show_bug.cgi?id=589467 I checked this in. Tom