Processed: Reviewing

2012-03-03 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > owner 658992 ! Bug #658992 [sponsorship-requests] RFS: cxxtest/4.0.3-1 [NEW] - lightweight xUnit-like framework for C/C++ applications Owner recorded as Michael Tautschnig . > tags 658992 + pending Bug #658992 [sponsorship-requests] RFS: cxxtest/

Processed: reviewing

2012-03-03 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > owner 660606 ! Bug #660606 [sponsorship-requests] RFS: acsccid/1.0.3-1 -- PC/SC driver for ACS USB CCID smart card readers Owner recorded as Michael Tautschnig . > tags 660606 + pending Bug #660606 [sponsorship-requests] RFS: acsccid/1.0.3-1 -- P

Processed: reviewing

2012-03-03 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > owner 661570 ! Bug #661570 [sponsorship-requests] RFS: cvc3/2.4.1-1 -- Automatic theorem prover for SMT problems Owner recorded as Michael Tautschnig . > tags 661570 + pending Bug #661570 [sponsorship-requests] RFS: cvc3/2.4.1-1 -- Automatic theo