Processed: Re: /usrr/bin/dune and `dune' binary package should refer to dune-common

To: Paul Gevers <elbrus@debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Re: /usrr/bin/dune and `dune' binary package should refer to dune-common
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Thu, 28 Feb 2019 14:30:07 +0000
Message-id: <[🔎] handler.s.B919953.155136404721106.transcript@bugs.debian.org>
References: <[🔎] 251cb33a-44e8-9fae-6919-7bb0f88879ac@debian.org> <23620.62421.182393.294173@chiark.greenend.org.uk>

Processing control commands:

> found 919953 1.0~beta20-1
Bug #919953 [dune] /usr/bin/dune and `dune' binary package should refer to dune-common
Marked as found in versions dune/1.0~beta20-1.
> severity 919953 important
Bug #919953 [dune] /usr/bin/dune and `dune' binary package should refer to dune-common
Severity set to 'important' from 'serious'

-- 
919953: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919953
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#919953: /usrr/bin/dune and `dune' binary package should refer to dune-common
  - From: Paul Gevers <elbrus@debian.org>

Prev by Date: Bug#919953: /usrr/bin/dune and `dune' binary package should refer to dune-common
Previous by thread: Bug#919953: /usrr/bin/dune and `dune' binary package should refer to dune-common
Index(es):
- Date
- Thread