Bohdan picked up issue 0010507

Bohdan created issue 0010507

Bohdan picked up issue 0010506

Bohdan created issue 0010506

Christian Grothoff commented on issue 0010504

Florian Dold picked up issue 0010505

Florian Dold created issue 0010505

Florian Dold unassigned issue 0010503

Florian Dold commented on issue 0010503

Florian Dold created issue 0010504

avalos assigned issue 0010503 to Florian Dold

avalos created issue 0010503

Christian Grothoff commented on issue 0010401

sebasjm commented on issue 0010401

sebasjm resolved issue 0010498

sebasjm commented on issue 0010498

Christian Grothoff commented on issue 0010479

Christian Grothoff resolved issue 0010479

Antoine A commented on issue 0010205

Antoine A resolved issue 0010205

schanzen picked up issue 0010502

schanzen created issue 0010502

schanzen commented on issue 0010501

schanzen picked up issue 0010501

schanzen created issue 0010501

schanzen picked up issue 0010500

schanzen created issue 0010500

Antoine A commented on issue 0010320

Antoine A commented on issue 0010388

Antoine A resolved issue 0010388

Bohdan created issue 0010499

Christian Grothoff assigned issue 0010498 to sebasjm

Christian Grothoff commented on issue 0010498

Christian Grothoff commented on issue 0010498

Christian Grothoff resolved issue 0010497

sebasjm commented on issue 0010497

Christian Grothoff commented on issue 0010497

Florian Dold resolved issue 0010477

Florian Dold removed tag discussion-needed from issue 0010477

Florian Dold assigned issue 0010498 to Christian Grothoff

Florian Dold created issue 0010498

Florian Dold assigned issue 0010497 to Christian Grothoff

Florian Dold created issue 0010497

Christian Grothoff commented on issue 0010205

sebasjm assigned issue 0010479 to Christian Grothoff

sebasjm attached file image.png to issue 0010479

sebasjm commented on issue 0010479

sebasjm resolved issue 0010371

pax commented on issue 0010371

sebasjm commented on issue 0010486