On Tue, Oct 17, 2023 at 11:57:33AM +0530, Amit Kapila wrote:> LGTM.
Thanks, I've applied that, then.--Michael