GNU bug report logs - #45910
[PATCH] ui: Switch precedence for extensions.

Previous Next

Package: guix-patches;

Reported by: zimoun <zimon.toutoune <at> gmail.com>

Date: Sat, 16 Jan 2021 00:58:02 UTC

Severity: normal

Tags: patch

Done: Ricardo Wurmus <rekado <at> elephly.net>

Bug is archived. No further changes may be made.

Full log

Message #11 received at 45910 <at> debbugs.gnu.org (full text, mbox):

From: zimoun <zimon.toutoune <at> gmail.com>
To: Ricardo Wurmus <rekado <at> elephly.net>, 45910 <at> debbugs.gnu.org
Cc: Ricardo Wurmus <rekado <at> elephly.net>
Subject: Re: [PATCH] ui: Look up extensions before built-in commands.
Date: Thu, 28 Jan 2021 17:26:49 +0100

Hi Ricardo,

On Thu, 28 Jan 2021 at 10:20, Ricardo Wurmus <rekado <at> elephly.net> wrote:

> We can do without the extra throw here.  What do you think of this
> simpler variant?

Yeah that’s much better. :-)

Thanks,
simon
This bug report was last modified 4 years and 111 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.