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

Florian Dold commented on issue 0010442

Florian Dold resolved issue 0010440

Florian Dold commented on issue 0010478

Florian Dold created issue 0010478

Florian Dold assigned issue 0010308 to avalos

Florian Dold commented on issue 0010308

Florian Dold tagged issue 0010477 with discussion-needed

Florian Dold picked up issue 0010477

Florian Dold created issue 0010477