On Fri, Jul 12, 2019 at 1:25 PM Thomas Munro <[email protected]> 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
On Fri, Jul 12, 2019 at 1:25 PM Thomas Munro <[email protected]> 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