On 5/8/19 10:29 PM, Thomas Gleixner wrote: > On Wed, 8 May 2019, Allison Randal wrote: >> On 5/8/19 9:23 PM, Thomas Gleixner wrote: >> >> Though, maybe it would be better if I said nothing and allowed the whole >> idea to be forgotten... > > Ahhh that one. That's an easy to do add on if people insist .... Shhhhhh, if we're very quiet, maybe they won't... Allison
