On Sat, Oct 25, 2014 at 05:17:34PM +0200, Justus Winter wrote: > I'm not sure. I thought it was a clever idea, so that diagnostic > tools won't get blocked forever. If there is a better alternative > please let me know.
It's hard to say, but on the other hand it's an entirely different problem. As long as tools provide an option to tune/disable it, I don't mind. -- Richard Braun
