Processed: Re: Bug#819615: RFS: spin/6.4.5-1 [ITP] -- formal software verification tool

To: Mattia Rizzolo <mattia@debian.org>
Cc: mattia@debian.org, package-sponsorship-requests@lists.debian.org
Subject: Processed: Re: Bug#819615: RFS: spin/6.4.5-1 [ITP] -- formal software verification tool
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sun, 15 May 2016 16:27:06 +0000
Message-id: <[🔎] handler.s.B819615.146332953411346.transcript@bugs.debian.org>
References: <[🔎] 20160515161911.GL16231@chase.mapreri.org> <145940686084.3049.13916888307304080523.reportbug@desktop>

Processing control commands:

> tag -1 moreinfo
Bug #819615 [sponsorship-requests] RFS: spin/6.4.5-1 [ITP] -- formal software verification tool
Added tag(s) moreinfo.
> owner -1 !
Bug #819615 [sponsorship-requests] RFS: spin/6.4.5-1 [ITP] -- formal software verification tool
Owner recorded as Mattia Rizzolo <mattia@debian.org>.

-- 
819615: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=819615
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#819615: RFS: spin/6.4.5-1 [ITP] -- formal software verification tool
  - From: Mattia Rizzolo <mattia@debian.org>

Prev by Date: Bug#819615: RFS: spin/6.4.5-1 [ITP] -- formal software verification tool
Next by Date: Bug#820383: RFS: photocollage/1.4.0-1 [ITP]
Previous by thread: Bug#819615: RFS: spin/6.4.5-1 [ITP] -- formal software verification tool
Next by thread: Bug#819615: RFS: spin/6.4.5-1 [ITP] -- formal software verification tool
Index(es):
- Date
- Thread