Re: Fix memory counter update in reorderbuffer

[Nathan Bossart]

On Mon, Aug 26, 2024 at 11:25:53AM -0700, Masahiko Sawada wrote:
> Thank you for reviewing the patch. Pushed.

nitpick: I think this one needs a pgindent run.

-- 
nathan