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

Florian Dold resolved issue 0010477

Florian Dold removed tag discussion-needed from issue 0010477

Florian Dold assigned issue 0010498 to Christian Grothoff

Florian Dold created issue 0010498

Florian Dold assigned issue 0010497 to Christian Grothoff

Florian Dold created issue 0010497

Florian Dold picked up issue 0010269

Florian Dold assigned issue 0010485 to Christian Grothoff