On Wed, Jun 03, 2020 at 08:52:08AM +0530, Amit Kapila wrote:> Do you mean to say correct?
Nope, I really meant that the code before caa3c42 is incorrect, and Iam glad that it got fixed. Sorry if that sounded confusing.--Michael