Hi Helmut, > No. I was pondering it on irc and it didn't seem immediately actionable > to me. You wanted a bug report anyway and you got one.
(Sure, and that was appreciated so we didn't lose the idea and
context.)
> Is there really much point in discussing whether tool diversity is good?
> The case seems pretty clear to me.
Hm? I don't quite follow. Or rather, I'm quite sure of the relevance
here?
Best wishes,
--
,''`.
: :' : Chris Lamb
`. `'` [email protected] / chris-lamb.co.uk
`-
