Florian Dold commented on issue 0005275

Florian Dold resolved issue 0005275

Florian Dold assigned issue 0005288 to Marcello Stanisci

Florian Dold created issue 0005288

Florian Dold commented on issue 0005279

Florian Dold resolved issue 0005279

Florian Dold commented on issue 0005280

Florian Dold resolved issue 0005280

Florian Dold picked up issue 0005286

Florian Dold created issue 0005286

Florian Dold created issue 0005282

Florian Dold assigned issue 0005281 to Christian Grothoff

Florian Dold created issue 0005281