Processed: Re: Bug#747320: Mandate "type" in /bin/sh

To: Simon McVittie <smcv@debian.org>
Cc: debian-policy@lists.debian.org
Subject: Processed: Re: Bug#747320: Mandate "type" in /bin/sh
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Mon, 19 Mar 2018 14:48:13 +0000
Message-id: <[🔎] handler.s.B747320.15214708229890.transcript@bugs.debian.org>
References: <[🔎] 20180319144313.GA9199@espresso.pseudorandom.co.uk> <21354.13815.337486.179879@chiark.greenend.org.uk>

Processing control commands:

> retitle -1 Mandate "type" and/or "command -v" in /bin/sh
Bug #747320 [debian-policy] Mandate "type" in /bin/sh
Changed Bug title to 'Mandate "type" and/or "command -v" in /bin/sh' from 'Mandate "type" in /bin/sh'.

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

Reply to:

References:
- Bug#747320: Mandate "type" in /bin/sh
  - From: Simon McVittie <smcv@debian.org>

Prev by Date: Bug#747320: Mandate "type" in /bin/sh
Next by Date: Processed: reassign 839885 to developers-reference
Previous by thread: Bug#747320: Mandate "type" in /bin/sh
Next by thread: Processed: reassign 839885 to developers-reference
Index(es):
- Date
- Thread