[PATCH master+7.12 v2 1/3] Introduce cleanup to restore current_uiout

[Simon Marchi]

On 2016-09-14 15:12, Tom Tromey wrote:
>>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:
> 
> Pedro> FWIW, I like the newer spelling better since we'll always be
> Pedro> restoring current_uiout, but it's not a big deal at all.
> 
> The only existing call to make_cleanup_restore_uiout uses 
> current_uiout,
> so another option would be to just replace that.
> 
> Tom

Ah then it makes sense to use make_cleanup_restore_current_uiout.  Why 
have a parametrized version when we don't need it?  I'll post an updated 
patch.