Subject: Re: bug#807: reportbug: should submit bug reports to Devuan & indicate distribution

From: Mark Hindley <[email-masked]>
Date: Wed, 29 Nov 2023 17:01:11 +0000

Control: tags -1 pending

Ansgar,

On Tue, Nov 28, 2023 at 08:59:11PM +0100, Ansgar wrote:
> It might be a bug when the report is submitted to Debian's BTS instead
> of Devuan's BTS.

Indeed this was correct: we need not to use debian_infofunc() in this case.

Thanks for pointing it out.

Mark