Florian Dold commented on issue 0006588

Florian Dold commented on issue 0007861

Florian Dold resolved issue 0007861

Florian Dold assigned issue 0007870 to Christian Grothoff

Florian Dold created issue 0007870

Florian Dold commented on issue 0006016

Florian Dold resolved issue 0006016

Florian Dold picked up issue 0007868

Florian Dold created issue 0007868

Florian Dold commented on issue 0007856

Florian Dold resolved issue 0007856

Florian Dold picked up issue 0007867

Florian Dold created issue 0007867

Florian Dold picked up issue 0007865

Florian Dold created issue 0007865