919951_dune/draft

   1 = Preliminaries
   2
   3 Bug report #916468 on the ownership of the /usr/bin/dune command was
   4 opened after a quite short discussion in debian-devel¹.
   5
   6 ¹ https://lists.debian.org/debian-devel/2018/12/msg00190.html
   7
   8 The Technical Committee has evaluated the situation that led to the
   9 opening of said bug as well as this one (#919951), and considering
  10 that the Procedure for the Technical Committee, 6.3.6 of the Debian
  11 Constitution:
  12
  13    The Technical Committee does not make a technical decision until
  14    efforts to resolve it via consensus have been tried and failed,
  15    unless it has been asked to make a decision by the person or body
  16    who would normally be responsible for it.
  17
  18 In light of this, and particularly reviewing the resolution of #916468
  19 and the last messages in #919951, the Technical Committee recognizes
  20 the situation as happily solved thanks to the direct interactions and
  21 good will of both the maintainers and upstream authors of the affected
  22 packages.
  23
  24 Thus, not having a controversy to decide upon anymore, we have decided
  25 to mark this bug as Closed.