On Tue, Jul 12, 2022 at 4:35 PM Robert Haas <robertmh...@gmail.com> wrote: > > Very minor nitpick: To me REPLACE would be a bit more accurate than RENAME, > > since it includes fsync etc? > > Sure, I had it that way for a while and changed it at the last minute. > I can change it back.
Committed that way, also with the fix for the typo Dilip found. -- Robert Haas EDB: http://www.enterprisedb.com
