On Fri, Nov 23, 2018 at 5:45 PM Thomas Munro <[email protected]> wrote: > I do have a new plan though...
Ugh. The plan in my previous email doesn't work, I was confused about the timing of the buffer header update. Back to the drawing board. -- Thomas Munro http://www.enterprisedb.com
