>>>>> "Joel" == Joel Brobecker <brobecker@adacore.com> writes: >> 2014-07-18 Tom Tromey <tromey@redhat.com> >> >> * target.c (target_is_pushed): Simplify. Joel> Indeed. It looks like this one could go in on its own... Yeah. I'll push this one soon. Thanks. Tom