Florian Dold assigned issue 0008395 to sebasjm

Florian Dold commented on issue 0008407

Florian Dold commented on issue 0008399

Florian Dold assigned issue 0008399 to Christian Grothoff

Florian Dold created issue 0008399

Florian Dold resolved issue 0008382

Florian Dold picked up issue 0008395

Florian Dold created issue 0008395

Florian Dold assigned issue 0008387 to Christian Grothoff

Florian Dold created issue 0008387

Florian Dold picked up issue 0008376

Florian Dold created issue 0008376

Florian Dold picked up issue 0008375

Florian Dold created issue 0008375

Florian Dold picked up issue 0008373

Florian Dold created issue 0008373

Florian Dold commented on issue 0008362

Florian Dold assigned issue 0008362 to Antoine A

Florian Dold commented on issue 0008362

Florian Dold picked up issue 0008362

Florian Dold assigned issue 0008303 to javier.sepulveda

Florian Dold assigned issue 0008370 to dvn

Florian Dold created issue 0008370

Florian Dold resolved issue 0008355

Florian Dold commented on issue 0008343

Florian Dold resolved issue 0008343

Florian Dold resolved issue 0008335