A quick update.. the attached patch has minor formatting fixes over the previous one.

Please use this patch for review.

Thanks.

On Thu, Jun 22, 2017 at 3:01 PM Kaushal Modi <kaushal.modi@gmail.com> wrote:

Hello,

Thanks. My comments are below, and the updated patch is attached.

Kaushal Modi