On Tue, Apr 17, 2018 at 06:13:31PM -0700, Andres Freund wrote:> Not sure what you mean?
Do you need help on it? I suggest that I could undertake the proposedpatch and submit it earlier in the development cycle of v12.--Michael