From c07982a92472939776f44731922f61b80624cbaf Mon Sep 17 00:00:00 2001 From: Gunnar Wolf Date: Wed, 20 Feb 2019 17:16:58 -0600 Subject: [PATCH] Drafted resolution for closing #919951 --- 919951_dune/draft | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 919951_dune/draft diff --git a/919951_dune/draft b/919951_dune/draft new file mode 100644 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. -- 2.39.2