Subject: Re: bug#69017: 30.0.50; [debbugs] Make compilation step optional in debbugs-gnu-apply-patch

From: Michael Albinus <[email-masked]>
Date: Sun, 11 Feb 2024 09:18:58 +0100

Eric Abrahamsen <[email-masked]> writes:

Hi Eric,

> I've attached the minimum workable approach, which just lets the user
> set the compile command to nil to skip compilation, and the relevant
> window rearrangements afterwards.

Looks OK in general. You need to adapt the :type of
debbugs-gnu-compile-command, and also to add some few words about in
debbugs-ug.texi.

Best regards, Michael.