Florian Dold assigned issue 0011445 to Antoine A

Florian Dold created issue 0011445

Florian Dold assigned issue 0011428 to Christian Grothoff

Florian Dold commented on issue 0011428

Florian Dold commented on issue 0011428

Florian Dold commented on issue 0010778

Florian Dold resolved issue 0010778

Florian Dold picked up issue 0011423

Florian Dold created issue 0011423

Florian Dold commented on issue 0011408

Florian Dold resolved issue 0011408