> On Mar 21, 2019, at 4:35 AM, Michal Hocko <mhocko@xxxxxxxxxx> wrote: > > I am sorry to be snarky but hasn't this generated way much more email > traffic than it really deserves? A simply and trivial clean up in the > beginning that was it, right? That's rather the point; that it did generate a fair amount of email traffic indicates it's worthy of at least a passing mention in a comment somewhere.
