Christian Grothoff commented on issue 0011183

Christian Grothoff commented on issue 0011183

Christian Grothoff closed issue 0011461

Christian Grothoff commented on issue 0011461

Christian Grothoff resolved issue 0011461

Christian Grothoff commented on issue 0009453

Christian Grothoff picked up issue 0011461

Christian Grothoff commented on issue 0011169

Christian Grothoff assigned issue 0011169 to Florian Dold

Christian Grothoff commented on issue 0011169

Christian Grothoff picked up issue 0011457

Christian Grothoff created issue 0011457

Christian Grothoff commented on issue 0010491

Christian Grothoff closed issue 0010491

Christian Grothoff picked up issue 0010491

Christian Grothoff picked up issue 0011456

Christian Grothoff created issue 0011456

Christian Grothoff commented on issue 0011183

Christian Grothoff commented on issue 0009424

Christian Grothoff commented on issue 0011183

Christian Grothoff commented on issue 0011446

Christian Grothoff unassigned issue 0011231

Christian Grothoff commented on issue 0011231

Christian Grothoff commented on issue 0011454

Christian Grothoff picked up issue 0011277

Christian Grothoff commented on issue 0011277

Christian Grothoff resolved issue 0011277

Christian Grothoff assigned issue 0010369 to Emmanuel

Christian Grothoff resolved issue 0011295

Christian Grothoff picked up issue 0011295

Christian Grothoff resolved issue 0010665

Christian Grothoff picked up issue 0010665

Christian Grothoff assigned issue 0010531 to sebasjm

Christian Grothoff unassigned issue 0011044

Christian Grothoff assigned issue 0010017 to Florian Dold

Christian Grothoff assigned issue 0011450 to Florian Dold

Christian Grothoff assigned issue 0011449 to Florian Dold

Christian Grothoff assigned issue 0011454 to Florian Dold

Christian Grothoff picked up issue 0011454

Christian Grothoff assigned issue 0011447 to mikolai

Christian Grothoff commented on issue 0011447