On Thu, Feb 14, 2019 at 10:26:52AM -0500, Waiman Long wrote:> Would you mind dropping just patch 3 from your series?Sure, we can just drop this patch.