On Thu, Feb 06, 2020 at 08:47:14AM +0530, Amit Kapila wrote:
> Your changes look fine to me on the first read. I will push this to
> HEAD unless there are any objections. If we want them in
> back-branches, we might want to probably segregate the changes based
> on the branch until those apply.
+1. It would be nice to back-patch the user-visible changes in the
docs.
--
Michael