Florian Dold commented on issue 0009482

Florian Dold assigned issue 0009480 to Christian Grothoff

Florian Dold created issue 0009480

Florian Dold assigned issue 0009287 to Antoine A

Florian Dold commented on issue 0009475

Florian Dold resolved issue 0009475

Florian Dold picked up issue 0009475

Florian Dold created issue 0009475