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

Tom Tromey
2016-09-14T19:12:42Z

>>>>> "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