Florian Dold resolved issue 0008991

Florian Dold resolved issue 0008993

Florian Dold picked up issue 0008998

Florian Dold assigned issue 0008998 to Christian Grothoff

Florian Dold created issue 0008998

Florian Dold commented on issue 0008997

Florian Dold resolved issue 0008997

Florian Dold picked up issue 0008997

Florian Dold assigned issue 0008997 to Christian Grothoff

Florian Dold assigned issue 0008997 to sebasjm

Florian Dold created issue 0008997

Florian Dold commented on issue 0008768

Florian Dold resolved issue 0008768

Florian Dold unassigned issue 0008995

Florian Dold picked up issue 0008995

Florian Dold created issue 0008995

Florian Dold picked up issue 0008994

Florian Dold created issue 0008994

Florian Dold commented on issue 0008993

Florian Dold assigned issue 0008993 to Christian Grothoff

Florian Dold created issue 0008993