sebasjm assigned issue 0008415 to Florian Dold

sebasjm commented on issue 0008415

sebasjm commented on issue 0008415

sebasjm commented on issue 0008410

sebasjm commented on issue 0008371

sebasjm attached file Selection_302.png to issue 0008371

sebasjm attached file Selection_301.png to issue 0008371

sebasjm commented on issue 0008371

sebasjm commented on issue 0008371

sebasjm assigned issue 0008410 to Antoine A

sebasjm commented on issue 0008410

sebasjm commented on issue 0008410

sebasjm commented on issue 0008395

sebasjm resolved issue 0008395

sebasjm assigned issue 0008409 to Christian Grothoff

sebasjm created issue 0008409

sebasjm commented on issue 0008403

sebasjm resolved issue 0008403

sebasjm assigned issue 0008404 to Florian Dold

sebasjm created issue 0008404

sebasjm picked up issue 0008403

sebasjm created issue 0008403

sebasjm commented on issue 0008391

sebasjm resolved issue 0008391

sebasjm commented on issue 0008400

sebasjm resolved issue 0008400

sebasjm picked up issue 0008400

sebasjm created issue 0008400

sebasjm resolved issue 0008125

sebasjm commented on issue 0008125

sebasjm resolved issue 0008340

sebasjm commented on issue 0008340

sebasjm reopened issue 0008340

sebasjm picked up issue 0008340

sebasjm resolved issue 0008340

sebasjm resolved issue 0008362

sebasjm commented on issue 0008362

sebasjm commented on issue 0008362

sebasjm commented on issue 0008228

sebasjm resolved issue 0008228

sebasjm assigned issue 0008380 to Florian Dold

sebasjm created issue 0008380

sebasjm commented on issue 0008371

sebasjm commented on issue 0008371

sebasjm commented on issue 0008362

sebasjm assigned issue 0008362 to Antoine A

sebasjm commented on issue 0008362