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

Simon Marchi
2016-10-03T21:25:50Z

On 16-09-16 03:51 PM, Simon Marchi wrote:
> On 16-09-16 02:18 PM, Pedro Alves wrote:
>> OK.
>
> Thanks, pushed!

I had forgotten to push this to the 7.12 branch. It was necessary for the
user-selection notification patches to build. I just pushed it.