Florian Dold commented on issue 0008752

Florian Dold assigned issue 0008752 to Antoine A

Florian Dold created issue 0008752

Florian Dold assigned issue 0008751 to Antoine A

Florian Dold created issue 0008751

Florian Dold commented on issue 0008748

Florian Dold picked up issue 0008750

Florian Dold created issue 0008750

Florian Dold picked up issue 0008743

Florian Dold created issue 0008743

Florian Dold resolved issue 0008705

Florian Dold commented on issue 0008729

Florian Dold assigned issue 0008729 to Christian Grothoff

Florian Dold commented on issue 0008245

Florian Dold resolved issue 0008245