Florian Dold resolved issue 0010224

Florian Dold commented on issue 0010505

Florian Dold commented on issue 0010515

Florian Dold resolved issue 0010515

Florian Dold picked up issue 0010515

Florian Dold created issue 0010515

Florian Dold assigned issue 0010514 to Christian Grothoff

Florian Dold created issue 0010514

Florian Dold resolved issue 0010442

Florian Dold commented on issue 0010442

Florian Dold reopened issue 0010478

Florian Dold resolved issue 0010478

Florian Dold picked up issue 0010505

Florian Dold created issue 0010505

Florian Dold unassigned issue 0010503

Florian Dold commented on issue 0010503

Florian Dold created issue 0010504