Re: [RFA 6/7] Remove make_cleanup_ui_out_redirect_pop

Simon Marchi
2017-09-09T18:49:20Z

On 2017-09-09 17:35, Tom Tromey wrote:
> This patch introduces ui_out_redirect_pop. All uses of
> make_cleanup_ui_out_redirect_pop are replaced with this new class.

LGTM.