On Sat, May 04, 2019 at 04:34:59PM +0530, Amit Kapila wrote:
> The fix looks good to me as well.
We are very close to the next minor release, so it may not be that
wise to commit a fix for that issue now as we should have a couple of
clean buildfarm clean runs. Are there any objections to wait after
the release? Or would folks prefer if this is fixed before the
release?
--
Michael