Florian Dold commented on issue 0009941

Florian Dold commented on issue 0010194

Florian Dold assigned issue 0010194 to Christian Grothoff

Florian Dold commented on issue 0010166

Florian Dold resolved issue 0010166

Florian Dold picked up issue 0010264

Florian Dold created issue 0010264

Florian Dold assigned issue 0010256 to Antoine A

Florian Dold commented on issue 0010256

Florian Dold resolved issue 0010260

Florian Dold commented on issue 0010260

Florian Dold commented on issue 0010260

Florian Dold picked up issue 0010260

Florian Dold created issue 0010260

Florian Dold commented on issue 0010129

Florian Dold resolved issue 0010129

Florian Dold assigned issue 0010258 to sebasjm

Florian Dold created issue 0010258

Florian Dold created issue 0010257

Florian Dold resolved issue 0010255

Florian Dold commented on issue 0010255

Florian Dold commented on issue 0010254

Florian Dold assigned issue 0010254 to MarcS

Florian Dold picked up issue 0010255

Florian Dold created issue 0010255

Florian Dold commented on issue 0010252

Florian Dold resolved issue 0010252