Processed: reviewing

To: Michael Tautschnig <mt@debian.org>
Cc: Michael Tautschnig <mt@debian.org> (owner of 661570 for {661570}), Debian Mentors <debian-mentors@lists.debian.org> (sponsorship-requests for {661570})
Subject: Processed: reviewing
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sat, 03 Mar 2012 20:36:06 +0000
Message-id: <[🔎] handler.s.C.13308068374974.transcript@bugs.debian.org>
In-reply-to: <[🔎] 20120303202828.GI36098@l04.local>
References: <[🔎] 20120303202828.GI36098@l04.local>

Processing commands for control@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 <mt@debian.org>.
> tags 661570 + pending
Bug #661570 [sponsorship-requests] RFS: cvc3/2.4.1-1 -- Automatic theorem prover for SMT problems
Added tag(s) pending.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
661570: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=661570
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#661570: reviewing
  - From: Michael Tautschnig <mt@debian.org>

Prev by Date: Bug#661570: reviewing
Next by Date: Bug#661570: Review of cvc3 2.4.1-1
Previous by thread: Bug#661570: reviewing
Next by thread: Bug#661570: Review of cvc3 2.4.1-1
Index(es):
- Date
- Thread