On Fri, Nov 23, 2018 at 5:45 PM Thomas Munro
<thomas(dot)munro(at)enterprisedb(dot)com> 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