Florian Dold resolved issue 0010477

Florian Dold removed tag discussion-needed from issue 0010477

Florian Dold assigned issue 0010498 to Christian Grothoff

Florian Dold created issue 0010498

Florian Dold assigned issue 0010497 to Christian Grothoff

Florian Dold created issue 0010497

Florian Dold picked up issue 0010269

Florian Dold assigned issue 0010485 to Christian Grothoff

Florian Dold tagged issue 0010491 with GLS

Florian Dold created issue 0010491

Florian Dold tagged issue 0009613 with GLS

Florian Dold tagged issue 0010487 with GLS

Florian Dold created issue 0010487

Florian Dold commented on issue 0008178

Florian Dold resolved issue 0008178

Florian Dold picked up issue 0008178

Florian Dold assigned issue 0010486 to sebasjm

Florian Dold created issue 0010486

Florian Dold picked up issue 0010485

Florian Dold created issue 0010485

Florian Dold commented on issue 0010147

Florian Dold resolved issue 0010147

Florian Dold picked up issue 0010147