Processed: setting package to dh-ocaml, tagging 516777

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

Processing commands for control@bugs.debian.org:

> #dh-ocaml (0.4.2) UNRELEASED; urgency=low
> #
> #  * Install script tools dom-{new-git-repo,git-checkout,mrconfig} in
> #    /usr/bin (Closes: #516777)
> #
> package dh-ocaml
Ignoring bugs not assigned to: dh-ocaml

> tags 516777 + pending
Bug#516777: please ship git helpers specific to d-o-m (checkout, new-git-repo, ...)
There were no tags set.
Tags added: pending

>
End of message, stopping processing here.

Please contact me if you need assistance.

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