Processed: your mail

To: Morgan Deters <mdeters@morgandeters.com>
Cc: wnpp@debian.org, mdeters@morgandeters.com
Subject: Processed: your mail
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Wed, 06 Aug 2014 12:33:06 +0000
Message-id: <[🔎] handler.s.C.140732815030413.transcript@bugs.debian.org>
References: <CANE73x5EM0yLjCTG5TH+EhnvmnonSTnyzUu_QLxKY_3_XXpv5w@mail.gmail.com>

Processing commands for control@bugs.debian.org:

> retitle 757192 ITA: cvc3 - Automatic theorem prover for SMT problems
Bug #757192 [wnpp] RFA: cvc3 - Automatic theorem prover for SMT problems
Changed Bug title to 'ITA: cvc3 - Automatic theorem prover for SMT problems' from 'RFA: cvc3 - Automatic theorem prover for SMT problems'
> owner 757192 !
Bug #757192 [wnpp] ITA: cvc3 - Automatic theorem prover for SMT problems
Owner recorded as Morgan Deters <mdeters@morgandeters.com>.
>
End of message, stopping processing here.

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

Reply to:

Prev by Date: Bug#757192: RFA: cvc3 - Automatic theorem prover for SMT problems
Next by Date: Bug#756437: marked as done (ITP: ruby-kramdown-rfc2629 -- generate xml2rfc xml from markdown)
Previous by thread: Processed: your mail
Next by thread: Processed: your mail
Index(es):
- Date
- Thread