919951_dune/draft

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