sebasjm assigned issue 0008500 to Florian Dold

sebasjm commented on issue 0008500

sebasjm commented on issue 0008457

sebasjm resolved issue 0008457

sebasjm commented on issue 0008483

sebasjm resolved issue 0008483

sebasjm resolved issue 0008529

sebasjm commented on issue 0008537

sebasjm resolved issue 0008537

sebasjm commented on issue 0008533

sebasjm resolved issue 0008533

sebasjm assigned issue 0008527 to Florian Dold

sebasjm created issue 0008527

sebasjm commented on issue 0008469

sebasjm resolved issue 0008469

sebasjm picked up issue 0008526

sebasjm created issue 0008526

sebasjm commented on issue 0008498

sebasjm resolved issue 0008498

sebasjm commented on issue 0008499

sebasjm assigned issue 0008499 to Florian Dold

sebasjm commented on issue 0008499

sebasjm commented on issue 0008497

sebasjm resolved issue 0008497

sebasjm picked up issue 0008519

sebasjm created issue 0008519

sebasjm commented on issue 0008469

sebasjm attached file image.png to issue 0008483

sebasjm commented on issue 0008483

sebasjm assigned issue 0008353 to Christian Grothoff

sebasjm commented on issue 0008353

sebasjm commented on issue 0008504

sebasjm reopened issue 0008504

sebasjm assigned issue 0008504 to Antoine A

sebasjm commented on issue 0008504

sebasjm resolved issue 0008504

sebasjm picked up issue 0008504

sebasjm created issue 0008504

sebasjm commented on issue 0008410

sebasjm resolved issue 0008410

sebasjm assigned issue 0008492 to Christian Grothoff

sebasjm created issue 0008492