On Sun, Nov 01, 2020 at 02:51:10PM -0500, Arvind Sankar wrote: > Ok. So I still send it as a separate patch and he does the folding, or > should I send a revised patch that replaces the original one? I think Randy's patch should be merged instead of this patch.