Florian Dold commented on issue 0009135

Florian Dold picked up issue 0009251

Florian Dold created issue 0009251

Florian Dold assigned issue 0009093 to sebasjm

Florian Dold assigned issue 0009250 to Christian Grothoff

Florian Dold created issue 0009250

Florian Dold commented on issue 0009135

Florian Dold resolved issue 0009135

Florian Dold commented on issue 0009150

Florian Dold assigned issue 0009150 to mikolai

Florian Dold commented on issue 0009163

Florian Dold resolved issue 0009163

Florian Dold commented on issue 0009163

Florian Dold assigned issue 0009163 to root

Florian Dold picked up issue 0009249

Florian Dold created issue 0009249

Florian Dold commented on issue 0009244

Florian Dold commented on issue 0009245

Florian Dold commented on issue 0009218

Florian Dold commented on issue 0009071

Florian Dold resolved issue 0009071

Florian Dold assigned issue 0009245 to Christian Grothoff

Florian Dold created issue 0009245

Florian Dold assigned issue 0009244 to Christian Grothoff

Florian Dold created issue 0009244

Florian Dold commented on issue 0009135

Florian Dold commented on issue 0009030

Florian Dold resolved issue 0009030

Florian Dold commented on issue 0009242

Florian Dold resolved issue 0009242