Florian Dold assigned issue 0010194 to Christian Grothoff

Florian Dold commented on issue 0010194

Florian Dold assigned issue 0010247 to sebasjm

Florian Dold commented on issue 0010247

Florian Dold commented on issue 0010195

Florian Dold resolved issue 0010195

Florian Dold picked up issue 0010195

Florian Dold commented on issue 0010197

Florian Dold resolved issue 0010197

Florian Dold assigned issue 0010286 to sebasjm

Florian Dold created issue 0010286