Christian Grothoff commented on issue 0009027

Christian Grothoff resolved issue 0009340

Christian Grothoff picked up issue 0009340

Christian Grothoff assigned issue 0009340 to Florian Dold

Christian Grothoff commented on issue 0009340

Christian Grothoff picked up issue 0009340

Christian Grothoff resolved issue 0009295

Christian Grothoff commented on issue 0009295

Christian Grothoff assigned issue 0009354 to Florian Dold

Christian Grothoff created issue 0009354

Christian Grothoff assigned issue 0009353 to Florian Dold

Christian Grothoff created issue 0009353

Christian Grothoff unassigned issue 0009351

Christian Grothoff picked up issue 0009351

Christian Grothoff created issue 0009351

Christian Grothoff assigned issue 0009339 to Florian Dold

Christian Grothoff commented on issue 0009339

Christian Grothoff assigned issue 0009349 to sebasjm

Christian Grothoff created issue 0009349

Christian Grothoff assigned issue 0009339 to Florian Dold

Christian Grothoff commented on issue 0009339

Christian Grothoff commented on issue 0008561

Christian Grothoff commented on issue 0009339

Christian Grothoff assigned issue 0009347 to sebasjm

Christian Grothoff commented on issue 0009347

Christian Grothoff assigned issue 0009346 to Florian Dold

Christian Grothoff picked up issue 0009346

Christian Grothoff assigned issue 0009346 to Florian Dold

Christian Grothoff commented on issue 0009346