Florian Dold picked up issue 0010197

Florian Dold created issue 0010197

Florian Dold created issue 0010196

Florian Dold created issue 0010195

Florian Dold picked up issue 0010179

Florian Dold resolved issue 0010184

Florian Dold commented on issue 0010184

Florian Dold created issue 0010194

Florian Dold commented on issue 0010162

Florian Dold resolved issue 0010162

Florian Dold commented on issue 0010183

Florian Dold assigned issue 0010183 to Christian Grothoff

Florian Dold created issue 0010183

Florian Dold assigned issue 0010180 to Antoine A

Florian Dold created issue 0010180