Processed: ubuntu's patch is broken

Debian Bug Tracking System owner at bugs.debian.org
Tue Nov 24 18:27:06 UTC 2009


Processing commands for control at bugs.debian.org:

> tags 521918 -patch
Bug #521918 [eprover] eprover: FTBFS with binary-arch build
Ignoring request to alter tags of bug #521918 to the same tags previously set
> thanks
Stopping processing here.

Please contact me if you need assistance.

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



More information about the debian-science-maintainers mailing list