sebasjm commented on issue 0009148

sebasjm resolved issue 0009148

sebasjm picked up issue 0009148

sebasjm assigned issue 0009148 to Christian Grothoff

sebasjm commented on issue 0009148

sebasjm commented on issue 0010496

sebasjm assigned issue 0010496 to vlada.svirsh

sebasjm assigned issue 0010765 to Christian Grothoff

sebasjm created issue 0010765

sebasjm commented on issue 0010764

sebasjm resolved issue 0010764

sebasjm commented on issue 0010746

sebasjm resolved issue 0010746

sebasjm picked up issue 0010764

sebasjm created issue 0010764

sebasjm commented on issue 0010746

sebasjm commented on issue 0010756

sebasjm resolved issue 0010756

sebasjm commented on issue 0010747

sebasjm resolved issue 0010747

sebasjm commented on issue 0010742

sebasjm resolved issue 0010742

sebasjm commented on issue 0010762

sebasjm resolved issue 0010762

sebasjm commented on issue 0010746

sebasjm resolved issue 0010746

sebasjm attached file image.png to issue 0010746

sebasjm commented on issue 0010746

sebasjm commented on issue 0010658

sebasjm resolved issue 0010658

sebasjm commented on issue 0010623

sebasjm assigned issue 0010711 to Florian Dold

sebasjm commented on issue 0010711

sebasjm commented on issue 0010745

sebasjm assigned issue 0010745 to Christian Grothoff

sebasjm created issue 0010745

sebasjm commented on issue 0010710

sebasjm created issue 0010744

sebasjm commented on issue 0009955

sebasjm commented on issue 0010734

sebasjm resolved issue 0010734

sebasjm commented on issue 0009681

sebasjm resolved issue 0009681

sebasjm picked up issue 0009681

sebasjm commented on issue 0010626

sebasjm resolved issue 0010626

sebasjm commented on issue 0010733

sebasjm resolved issue 0010733

sebasjm picked up issue 0010743

sebasjm created issue 0010743