On Fri, Aug 3, 2018 at 12:06 PM Mike Snitzer <snitzer@xxxxxxxxxx> wrote:
>
> But you're making Zdenek's response into mine and threathening to no
> longer pull from me.
No. I'm *very* unhappy about how you seem to think that Zdenek's
response was even half-way ok, and you jumped in when Ted said it
wasn't.
Linus
