Subject: Re: [bug#64171] [PATCH 0/1] guix: pack: docker add docker-entry-point options

From: Josselin Poiret <[email-masked]>
Date: Sun, 09 Jul 2023 10:31:07 +0200

Hi Graham,

Graham Addis <[email-masked]> writes:

> One last question, as the proposed changes no longer reflect this bug
> description, should I raise a new bug, or just add the replacement
> patch to this one?

You can retitle bugs on debbugs, have a look at [1].

[1] https://debbugs.gnu.org/server-control.html

Best,
-- 
Josselin Poiret