On Thu, Apr 25, 2019 at 05:11:20PM -0700, Nadav Amit wrote:> Yet another version, per PeterZ request, addressing the latest feedback.> Well, I would've been OK with just an updated to the one patch, butthanks. Let me see if I can get all that to apply :-)