Processed: limit source to ulex0.8, tagging 577311

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

Processing commands for control@bugs.debian.org:

> #ulex0.8 (0.8-9) UNRELEASED; urgency=low
> #
> #  * Use dh-ocaml for dependency generation (Closes: #577311)
> #
> limit source ulex0.8
Limiting to bugs with field 'source' containing at least one of 'ulex0.8'
Limit currently set to 'source':'ulex0.8'

> tags 577311 + pending
Bug #577311 [ulex0.8] matita: FTBFS: /bin/sh: query: not found
Added tag(s) pending.
> thanks
Stopping processing here.

Please contact me if you need assistance.

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