Florian Dold assigned issue 0011552 to Christian Grothoff

Florian Dold created issue 0011552

Florian Dold commented on issue 0011541

Florian Dold reopened issue 0011541

Florian Dold unassigned issue 0011541

Florian Dold assigned issue 0011551 to sebasjm

Florian Dold created issue 0011551

Florian Dold assigned issue 0011548 to MarcS

Florian Dold created issue 0011548

Florian Dold assigned issue 0011541 to sebasjm

Florian Dold created issue 0011541

Florian Dold commented on issue 0011501

Florian Dold assigned issue 0010726 to Christian Grothoff

Florian Dold commented on issue 0010726

Florian Dold commented on issue 0011524

Florian Dold picked up issue 0011540

Florian Dold created issue 0011540

Florian Dold commented on issue 0011528

Florian Dold resolved issue 0011528

Florian Dold commented on issue 0011478

Florian Dold resolved issue 0011478

Florian Dold created issue 0011538

Florian Dold assigned issue 0011478 to Christian Grothoff

Florian Dold commented on issue 0011478