Re: temporary file size clarification

[Daniel Gustafsson]

> On 25 Nov 2022, at 21:14, Bruce Momjian <br...@momjian.us> wrote:
> On Thu, Nov 24, 2022 at 10:14:20AM +0100, Daniel Gustafsson wrote:

>> How about something like the attached?
> 
> +1

Pushed, thanks!

--
Daniel Gustafsson               https://vmware.com/