On Fri, Jul 12, 2019 at 1:25 PM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:
> Here is a small patch extracted from the undo log patch set that I'd
> like to discuss separately and commit soon. [...]
Pushed.
--
Thomas Munro
https://enterprisedb.com