Florian Dold resolved issue 0010821

Florian Dold picked up issue 0011334

Florian Dold created issue 0011334

Florian Dold assigned issue 0011331 to Christian Grothoff

Florian Dold commented on issue 0011131

Florian Dold resolved issue 0011131

Florian Dold resolved issue 0010902

Florian Dold commented on issue 0010902

Florian Dold commented on issue 0011305

Florian Dold commented on issue 0011223

Florian Dold unassigned issue 0011223

Florian Dold picked up issue 0011315

Florian Dold created issue 0011315