Florian Dold commented on issue 0009530

Florian Dold picked up issue 0009530

Florian Dold created issue 0010622

Florian Dold created issue 0010621

Florian Dold created issue 0010620

Florian Dold commented on issue 0010541

Florian Dold resolved issue 0010541

Florian Dold created issue 0010613

Florian Dold unassigned issue 0010409

Florian Dold commented on issue 0009360

Florian Dold unassigned issue 0009360

Florian Dold assigned issue 0010478 to Christian Grothoff

Florian Dold commented on issue 0010478

Florian Dold commented on issue 0010478

Florian Dold commented on issue 0010468

Florian Dold resolved issue 0010468

Florian Dold commented on issue 0010606

Florian Dold resolved issue 0010606

Florian Dold created issue 0010612

Florian Dold created issue 0010611

Florian Dold created issue 0010610

Florian Dold created issue 0010609

Florian Dold commented on issue 0010409