On Fri, Jul 12, 2019 at 1:25 PM Thomas Munro <thomas.mu...@gmail.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
On Fri, Jul 12, 2019 at 1:25 PM Thomas Munro <thomas.mu...@gmail.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