Processed: bug 743072 is forwarded to https://github.com/OCamlPro/alt-ergo/issues/2

To: Ralf Treinen <treinen@debian.org>
Cc: debian-bugs-forwarded@lists.debian.org, debian-ocaml-maint@lists.debian.org
Subject: Processed: bug 743072 is forwarded to https://github.com/OCamlPro/alt-ergo/issues/2
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sun, 30 Mar 2014 19:57:05 +0000
Message-id: <[🔎] handler.s.C.139620916826058.transcript@bugs.debian.org>
References: <1396209162-194-bts-treinen@debian.org>

Processing commands for control@bugs.debian.org:

> forwarded 743072 https://github.com/OCamlPro/alt-ergo/issues/2
Bug #743072 [src:alt-ergo] alt-ergo: FTBFS: Error: Signature mismatch
Set Bug forwarded-to-address to 'https://github.com/OCamlPro/alt-ergo/issues/2'.
> thanks
Stopping processing here.

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

Reply to:

Prev by Date: Bug#743072: alt-ergo: FTBFS: Error: Signature mismatch
Next by Date: Processed: tagging 743072
Previous by thread: Bug#743072: marked as done (alt-ergo: FTBFS: Error: Signature mismatch)
Next by thread: Processed: tagging 743072
Index(es):
- Date
- Thread