Florian Dold picked up issue 0011564

Florian Dold created issue 0011564

Florian Dold picked up issue 0011563

Florian Dold created issue 0011563

Florian Dold created issue 0011562

Florian Dold commented on issue 0010750

Florian Dold assigned issue 0011520 to Christian Grothoff

Florian Dold commented on issue 0011520

Florian Dold picked up issue 0011558

Florian Dold created issue 0011558

Florian Dold created issue 0011557

Florian Dold commented on issue 0011478

Florian Dold unassigned issue 0011478

Florian Dold assigned issue 0011555 to avalos

Florian Dold created issue 0011555

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