Drafted resolution for closing #919951

diff --git a/919951_dune/draft b/919951_dune/draft
new file mode 100644 (file)
index 0000000..7c60c39
--- /dev/null
+++ b/919951_dune/draft
@@ -0,0 +1,25 @@
+= 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.