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