[PATCH 6/8] Add push_target overload

[Pedro Alves]

On 02/07/2019 09:40 AM, Tom Tromey wrote:
> From: Tom Tromey <tromey@adacore.com>
> 
> This adds a push_target overload that takes a "target_ops_up &&".
> This removes some calls to release a target_ops_up, and makes the
> intent here clearer.

I like it.

Thanks,
Pedro Alves