Processed: tagging 326740, bug 326740 is forwarded to http://coq.inria.fr/bin/coq-bugs/incoming?id=999

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> # Automatically generated email from bts, devscripts version 2.9.4
> tags 326740 + upstream
Bug#326740: coq: FTBFS: "Type ... is not compatible with type ..."
There were no tags set.
Tags added: upstream

> forwarded 326740 http://coq.inria.fr/bin/coq-bugs/incoming?id=999
Bug#326740: coq: FTBFS: "Type ... is not compatible with type ..."
Noted your statement that Bug has been forwarded to http://coq.inria.fr/bin/coq-bugs/incoming?id=999.

>
End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)