avalos commented on issue 0008511

avalos commented on issue 0008549

avalos commented on issue 0008552

avalos picked up issue 0008544

avalos created issue 0008544

avalos picked up issue 0008543

avalos created issue 0008543

avalos commented on issue 0008512

avalos assigned issue 0008512 to Christian Grothoff

avalos commented on issue 0008535

avalos resolved issue 0008535

avalos commented on issue 0008532

avalos assigned issue 0008532 to grote

avalos commented on issue 0008542

avalos assigned issue 0008542 to grote

avalos picked up issue 0008542

avalos created issue 0008542

avalos resolved issue 0008455

avalos resolved issue 0008508

avalos commented on issue 0008508

avalos commented on issue 0008455

avalos commented on issue 0008510

avalos resolved issue 0008510