schanzen commented on issue 0005581

schanzen commented on issue 0005580

schanzen resolved issue 0005580

schanzen picked up issue 0005580

schanzen commented on issue 0005578

schanzen commented on issue 0005582

schanzen commented on issue 0005582

schanzen commented on issue 0005582

schanzen picked up issue 0005584

schanzen created issue 0005584

schanzen picked up issue 0005583

schanzen created issue 0005583

schanzen commented on issue 0005423

schanzen reopened issue 0005423

schanzen created issue 0005582

schanzen commented on issue 0005580

schanzen created issue 0005581

schanzen created issue 0005580

schanzen assigned issue 0005579 to Christian Grothoff

schanzen created issue 0005579

schanzen commented on issue 0005578

schanzen resolved issue 0005578

schanzen assigned issue 0005578 to Christian Grothoff

schanzen commented on issue 0005578

schanzen created issue 0005578

schanzen commented on issue 0005573

schanzen assigned issue 0005573 to Christian Grothoff

schanzen created issue 0005573

schanzen commented on issue 0005572

schanzen resolved issue 0005572

schanzen assigned issue 0005572 to Christian Grothoff

schanzen created issue 0005572

schanzen assigned issue 0005571 to Christian Grothoff

schanzen commented on issue 0005571

schanzen created issue 0005571

schanzen created issue 0005570

schanzen commented on issue 0005568

schanzen resolved issue 0005568

schanzen assigned issue 0005568 to Christian Grothoff

schanzen created issue 0005568