schanzen assigned issue 0007625 to Christian Grothoff

schanzen commented on issue 0007651

schanzen resolved issue 0007651

schanzen commented on issue 0007651

schanzen reopened issue 0007651

schanzen resolved issue 0007624

schanzen resolved issue 0007623

schanzen resolved issue 0007631

schanzen resolved issue 0007622

schanzen resolved issue 0007632

schanzen assigned issue 0007645 to t3sserakt

schanzen resolved issue 0007628

schanzen picked up issue 0007628

schanzen resolved issue 0007629

schanzen picked up issue 0007629

schanzen assigned issue 0007630 to t3sserakt

schanzen resolved issue 0007636

schanzen picked up issue 0007636

schanzen resolved issue 0007635

schanzen picked up issue 0007635

schanzen resolved issue 0007634

schanzen picked up issue 0007634

schanzen resolved issue 0007633

schanzen picked up issue 0007633

schanzen resolved issue 0007637

schanzen picked up issue 0007637

schanzen resolved issue 0007640

schanzen picked up issue 0007640

schanzen commented on issue 0007641

schanzen resolved issue 0007641

schanzen picked up issue 0007641

schanzen resolved issue 0007642

schanzen picked up issue 0007642

schanzen resolved issue 0007643

schanzen picked up issue 0007643

schanzen resolved issue 0007644

schanzen picked up issue 0007644

schanzen picked up issue 0007645

schanzen commented on issue 0007645

schanzen resolved issue 0007646

schanzen picked up issue 0007646

schanzen resolved issue 0007647

schanzen picked up issue 0007647

schanzen resolved issue 0007649

schanzen picked up issue 0007649

schanzen resolved issue 0007648

schanzen picked up issue 0007648

schanzen resolved issue 0007650

schanzen picked up issue 0007650

schanzen resolved issue 0007651