On Fri, Dec 27, 2019 at 01:29:13PM +0100, Stefan Bühler wrote:
Hi,yes, you are right, my patch only fixes the task manager crash. I now took a look at all backtraces, and all apart the first one (probably older version?) seem to be the same "other" instance:
--- 8< --- I am not quite following the intricacies of this crash anymore, but might this be something that we will need to report upstream? Greetings, JJ
