On Sun, May 31, 2020 at 09:11:35PM +0000, Bossart, Nathan wrote:
> Thanks for the feedback. I've attached a new set of patches.
Thanks for splitting the set. 0001 and 0002 are the minimum set for
back-patching, and it would be better to merge them together. 0003 is
debatable and not an actual bug fix, so I would refrain from doing a
backpatch. It does not seem that there is a strong consensus in favor
of 0003 either.
Thomas, are you planning to look at this patch set?
--
Michael