On Sun, Nov 10, 2019 at 08:48:27AM +0530, Amit Kapila wrote: > I am planning to go with Peter's suggestion and will push in > HEAD-only. So, I think that should be fine.
I was just looking at this thread, and my take would be to just apply that on HEAD. Good catch by the way. -- Michael
signature.asc
Description: PGP signature
