--- /dev/null
+= 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.