Christian Grothoff commented on issue 0008770

Christian Grothoff unassigned issue 0008770

javier.sepulveda picked up issue 0008567

javier.sepulveda picked up issue 0008774

javier.sepulveda created issue 0008774

dvn commented on issue 0008772

dvn resolved issue 0008772

dvn commented on issue 0008567

dvn commented on issue 0008773

dvn picked up issue 0008773

dvn created issue 0008773

dvn commented on issue 0008772

dvn picked up issue 0008772

dvn created issue 0008772

dvn commented on issue 0008771

dvn resolved issue 0008771

dvn picked up issue 0008771

dvn created issue 0008771

sebasjm assigned issue 0008770 to Christian Grothoff

sebasjm created issue 0008770

sebasjm assigned issue 0008769 to Florian Dold

sebasjm created issue 0008769

sebasjm assigned issue 0008768 to Florian Dold

sebasjm created issue 0008768

sebasjm picked up issue 0008767

sebasjm created issue 0008767

sebasjm resolved issue 0008581

sebasjm assigned issue 0008760 to javier.sepulveda

sebasjm picked up issue 0008760

sebasjm commented on issue 0008760

javier.sepulveda commented on issue 0008760

Florian Dold assigned issue 0008762 to Antoine A

Florian Dold created issue 0008762

javier.sepulveda unassigned issue 0008761

javier.sepulveda assigned issue 0008761 to Christian Grothoff

javier.sepulveda created issue 0008761

Antoine A commented on issue 0008736

Antoine A resolved issue 0008736

Antoine A commented on issue 0008730

Antoine A resolved issue 0008730

sebasjm assigned issue 0008760 to javier.sepulveda

sebasjm created issue 0008760

Florian Dold commented on issue 0008550

Florian Dold resolved issue 0008550

Florian Dold commented on issue 0008758

Florian Dold resolved issue 0008758

Florian Dold commented on issue 0008743

Florian Dold resolved issue 0008743

Florian Dold commented on issue 0008757

Florian Dold resolved issue 0008757