Processed: reassign 612891 to src:matita

To: Stéphane Glondu <glondu@debian.org>
Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> (src:matita for {612891}, matita for {612891})
Subject: Processed: reassign 612891 to src:matita
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 26 Apr 2011 06:45:16 +0000
Message-id: <[🔎] handler.s.C.13038001426461.transcript@bugs.debian.org>
In-reply-to: <1303800140-2439-bts-glondu@debian.org>
References: <1303800140-2439-bts-glondu@debian.org>

Processing commands for control@bugs.debian.org:

> reassign 612891 src:matita
Bug #612891 [matita] FTBFS with camlp5 6.02.1
Bug reassigned from package 'matita' to 'src:matita'.
Bug No longer marked as found in versions matita/0.5.8-2.
> thanks
Stopping processing here.

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

Reply to:

Prev by Date: why_2.29+dfsg-3_amd64.changes ACCEPTED into unstable
Next by Date: Processed: forcibly merging 612891 618196
Previous by thread: why_2.29+dfsg-3_amd64.changes ACCEPTED into unstable
Next by thread: Processed: forcibly merging 612891 618196
Index(es):
- Date
- Thread