= Preliminaries

Bug report #916468 on the ownership of the /usr/bin/dune command was
opened after a quite short discussion in debian-devel¹.

¹ https://lists.debian.org/debian-devel/2018/12/msg00190.html

The Technical Committee has evaluated the situation that led to the
opening of said bug as well as this one (#919951), and considering
that the Procedure for the Technical Committee, 6.3.6 of the Debian
Constitution:

   The Technical Committee does not make a technical decision until
   efforts to resolve it via consensus have been tried and failed,
   unless it has been asked to make a decision by the person or body
   who would normally be responsible for it.

In light of this, and particularly reviewing the resolution of #916468
and the last messages in #919951, the Technical Committee recognizes
the situation as happily solved thanks to the direct interactions and
good will of both the maintainers and upstream authors of the affected
packages.

Thus, not having a controversy to decide upon anymore, we have decided
to mark this bug as Closed.