Re: please update ps display for recovery checkpoint

On Sat, Dec 12, 2020 at 12:41:25AM +0000, Bossart, Nathan wrote:
> On 12/11/20, 4:00 PM, "Michael Paquier" <michael@paquier.xyz> wrote:
>> My counter-proposal is like the attached, with the set/reset part not
>> reversed this time, and the code indented :p
>
> Haha.  LGTM.

Thanks.  I have applied this one, then.
--
Michael