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 in accordance
with 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.

Together with a review of 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. Furthermore, the Technical Committee
considers that, given the very short discussion the involved parties
had before raising this issue to the Committee, we should remind our
fellow Developers that any decision reached by the Technical Committee
can be seen to some as an imposition. We urge everybody to always seek
a decision by a serious, calm discussion before escalating issues.