Florian Dold assigned issue 0010179 to sebasjm

Florian Dold resolved issue 0010158

Florian Dold commented on issue 0010158

Florian Dold commented on issue 0010165

Florian Dold resolved issue 0010165

Florian Dold picked up issue 0010165

Florian Dold resolved issue 0010129

Florian Dold assigned issue 0010129 to Stefan

Florian Dold commented on issue 0010205

Florian Dold picked up issue 0010216

Florian Dold created issue 0010216

Florian Dold commented on issue 0010211

Florian Dold commented on issue 0010211

Florian Dold assigned issue 0010211 to Christian Grothoff

Florian Dold created issue 0010211