Hi,

On August 25, 2018 9:39:12 AM PDT, Jeff Davis <[email protected]> wrote:
>Change extension of spilled ReorderBufferChange data to ".tmp".
>
>The previous extension, ".snap", was chosen for historical reasons and
>became confusing.

Not a fan of .tmp, that well just lead to people deleting them while the server 
is running etc. How about .spill or such?

Andres

-- 
Sent from my Android device with K-9 Mail. Please excuse my brevity.

Reply via email to